]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6248703) | patch
Added Method "exists".
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jul 2003 15:43:35 +0000 (15:43 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jul 2003 15:43:35 +0000 (15:43 +0000)
commit45bc31f244e06f1eead7c35bc5b812574edf1737
treed67d58fb981b4515ebb0a2eb32b5cbd1b7cc49ectree | snapshot
parent6248703e9f479d4c3edfcf227908ffd9d2dd7adccommit | diff
Added Method "exists".
helm/ocaml/cic_transformations/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.