]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7fd526) | patch
added simplify to avoid ugly proofterm
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 8 Apr 2008 09:11:33 +0000 (09:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 8 Apr 2008 09:11:33 +0000 (09:11 +0000)
commit27bfea6a5157027d01f57b12ecacdd507b569864
tree0507ae13e2c71526ee0f4b3a9e3d80324ae38423tree | snapshot
parentd7fd52648af0f0d0dc8ca53c5582281531973243commit | diff
added simplify to avoid ugly proofterm
helm/software/matita/library/demo/realisability.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.