]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4a2334) | patch
Cooking is no more required. Now we have explicit named substitutions!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 15:18:33 +0000 (15:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 15:18:33 +0000 (15:18 +0000)
commit39006a99890cb2c55956b3a372cb9b6e9eb631f6
tree8973a6c704aa98028104d91031af5830382f4021tree | snapshot
parenta4a2334c7074974db8baf2666ba161702ff9e112commit | diff
Cooking is no more required. Now we have explicit named substitutions!
helm/proofChecker/proofChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.