]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0d0bc3) | patch
Notation for Case revisited and completed.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 26 Jan 2004 13:40:46 +0000 (13:40 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 26 Jan 2004 13:40:46 +0000 (13:40 +0000)
commitbafecec2d4af08af32249b4ec75db477a6024c7b
tree3c34fcb14d40e478dfc025f3c2e9152db7e61a98tree | snapshot
parentb0d0bc32d82dc8d502de68ec7c3cfffadae1b931commit | diff
Notation for Case revisited and completed.
helm/ocaml/cic_transformations/cexpr2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.