]> matita.cs.unibo.it Git - helm.git/commit
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
treef94c385f3eb63131c9bcefbaa67cf74ebb642259
parent66929b8edb58d468a134b648466f3e9c45ba5c0e
cut is now implemented building a letin and not a beta redex
helm/software/components/tactics/primitiveTactics.ml