]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66929b8) | 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)
commiteeed0d603ddadba6b5ee5041e87794051b9283dd
treef94c385f3eb63131c9bcefbaa67cf74ebb642259tree | snapshot
parent66929b8edb58d468a134b648466f3e9c45ba5c0ecommit | diff
cut is now implemented building a letin and not a beta redex
helm/software/components/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.