]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 190662b) | patch
cut is now implemented building a letin and not a beta redex
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Jun 2007 13:09:20 +0000 (13:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Jun 2007 13:09:20 +0000 (13:09 +0000)
commit41c84b305a3e46a972f7fe955c300757a4cfb3ca
tree00a75b32137ea35b3e225624038f8802e0aa7bfatree | snapshot
parent190662b877ba89ccb152f0bf5c67df62be737335commit | diff
cut is now implemented building a letin and not a beta redex
components/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.