]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f38af52) | patch
- tacticals: new tactical ifs added: uses thens where if_ uses then_
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 2 Nov 2007 17:36:33 +0000 (17:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 2 Nov 2007 17:36:33 +0000 (17:36 +0000)
commitcf9784a6b94fa9045810d8559509b54dc9e65a4a
tree940aee2f4c936e195aefa2e59000ea048a18ac0ftree | snapshot
parentf38af523cd051d4c1d0dceeb59ce2fbbfc87367dcommit | diff
- tacticals: new tactical ifs added: uses thens where if_ uses then_
- ProofEngineHelpers: namer_of exported from GrafiteEngine
components/grafite_engine/grafiteEngine.ml diff | blob | history
components/tactics/proofEngineHelpers.ml diff | blob | history
components/tactics/proofEngineHelpers.mli diff | blob | history
components/tactics/tacticals.ml diff | blob | history
components/tactics/tacticals.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.