]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22a8ad8) | patch
- Lemma added to the list of proof arguments
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 23 Jul 2003 17:02:54 +0000 (17:02 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 23 Jul 2003 17:02:54 +0000 (17:02 +0000)
commit414dc18cdbc1f431758cfce79b0b7827e2419d39
tree77f9dca9f38ca9b8db6e5d8a39097138797e7f30tree | snapshot
parent22a8ad8462e81ad68d8016a009fa8003bd52a66fcommit | diff
- Lemma added to the list of proof arguments
- Lemma used for Const, MutConst and Var in Apply arguments
- atomization of complex proofs is now performed also in tactics different
  from Apply
helm/ocaml/cic_omdoc/Makefile diff | blob | history
helm/ocaml/cic_omdoc/cic2content.ml diff | blob | history
helm/ocaml/cic_omdoc/content.ml diff | blob | history
helm/ocaml/cic_omdoc/content.mli diff | blob | history
helm/ocaml/cic_omdoc/content2cic.ml diff | blob | history
helm/ocaml/cic_omdoc/contentPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.