]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c43f710) | patch
1. Modificiations due to the change ot K.Aux
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 22 Jul 2003 08:43:32 +0000 (08:43 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 22 Jul 2003 08:43:32 +0000 (08:43 +0000)
commit21bf57e0b7de37faa4991e136cf6f09cfbf4d0a3
tree04cdabf0b2f8d513a09e57fba1b609e0d2e973c0tree | snapshot
parentc43f710f5e23e940114b1623329f650814e783afcommit | diff
1. Modificiations due to the change ot K.Aux
2. Assert false on Lambda with no name removed. Who generates them?
helm/ocaml/cic_transformations/content2pres.ml diff | blob | history
helm/ocaml/cic_transformations/content_expressions.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.