]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1f20ca) | patch
Bug MutCase fixed: now the type of the constructor only eats the
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Feb 2004 10:25:04 +0000 (10:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Feb 2004 10:25:04 +0000 (10:25 +0000)
commitc982d8e516e990f19e9f5bdb4967a526095810f2
tree67b0e50ab20248e986b09fe507add05f87992307tree | snapshot
parenta1f20cae9c37b56f796eafbf7e60dc8f17f8d307commit | diff
Bug MutCase fixed: now the type of the constructor only eats the
left params.
helm/ocaml/cic_omdoc/eta_fixing.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.