]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c534f0f) | patch
* New implementation of Apply and Elim based on the latest implementation
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Apr 2002 17:07:57 +0000 (17:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Apr 2002 17:07:57 +0000 (17:07 +0000)
commitb5f6ad3ab6163a257f6491ef6ff922ff8c1239a7
tree11bbc4560055e0b2cfae0c7d44472a1dcb6c5d78tree | snapshot
parentc534f0f12f9369670d93dd0eb30e8f9a85ff6498commit | diff
* New implementation of Apply and Elim based on the latest implementation
  of the unification (not yet commited)
helm/gTopLevel/proofEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.