]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69f947f) | patch
Cooking w.r.t. variables with bodies is now implemented as delta-expansion.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2008 20:57:30 +0000 (20:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2008 20:57:30 +0000 (20:57 +0000)
commit18d6598d46ae02dc6fa0ecff8cd40798627033bd
tree6d6e9e1a099e36f85ba8c3db321f475eb54f6013tree | snapshot
parent69f947f6256eaf028c673c6a2327a935c4b3465acommit | diff
Cooking w.r.t. variables with bodies is now implemented as delta-expansion.
helm/software/components/ng_kernel/oCic2NCic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.