]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5edfd17) | patch
added instance
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 12:50:34 +0000 (12:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 12:50:34 +0000 (12:50 +0000)
commitb8fbccc3b4e92586d5fc704d2d8ca27fdc729adf
tree0b7d4256ab723d7b58e47eebb86ee7d4662f47cftree | snapshot
parent5edfd170706c91c5d3a9d3522360b748a2dc034fcommit | diff
added instance
helm/matita/matitaScript.ml diff | blob | history
helm/ocaml/cic_disambiguation/.depend diff | blob | history
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.