]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 583977e) | patch
Splitted re into lang.ma nd re.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Dec 2011 11:38:15 +0000 (11:38 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Dec 2011 11:38:15 +0000 (11:38 +0000)
commit5c71d6a1d1461007f941f73d2cc7975c7116fd0d
tree4c28922145b7313e296e6e85efbb7746e07a0378tree | snapshot
parent583977e3d9e646efcaf5b8e956f0407fd3777236commit | diff
Splitted re into lang.ma nd re.ma
matita/matita/lib/re/lang.ma [new file with mode: 0644] blob
matita/matita/lib/re/moves.ma diff | blob | history
matita/matita/lib/re/re.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.