]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff3bc8b) | patch
Invariant no longer true (since when?)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2005 17:58:17 +0000 (17:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2005 17:58:17 +0000 (17:58 +0000)
commit87708967ed20000d7fb10ed04596a0c0c0ffafe1
treeea1544bfd06faf91a781f502c3f86ee29807feb4tree | snapshot
parentff3bc8b7c911ff19e9335995428351f6c38494e9commit | diff
Invariant no longer true (since when?)
helm/ocaml/tactics/proofEngineStructuralRules.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.