]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d5e3e4) | patch
(dummy) porting to universes
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Dec 2004 20:29:44 +0000 (20:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Dec 2004 20:29:44 +0000 (20:29 +0000)
commitecf41f4ad6b6103391be48b9247d4126f6713cdd
treeb003bf54ba5a6944437b7935899a9d9b4714f8d4tree | snapshot
parent6d5e3e4ec26caa02e4cd3e29fa8c4a989f8b0352commit | diff
(dummy) porting to universes
helm/proofChecker/proofChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.