]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf1f44a) | patch
Injection now clears all intermediate results introduced.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Sep 2006 16:47:13 +0000 (16:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Sep 2006 16:47:13 +0000 (16:47 +0000)
commitc61fbff7b7296b56aa5313823bc2df4d344c9ce6
tree0045aad10ea3e30038018e6c0c6972b9d982e188tree | snapshot
parentbf1f44a7486dd498de376e58039ff668beb168c2commit | diff
Injection now clears all intermediate results introduced.
Injection code reindented.
Baseuri in injection.ma fixed.
components/tactics/discriminationTactics.ml diff | blob | history
matita/tests/injection.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.