]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a613866) | patch
fixed lapply on new tinycals semantic
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Oct 2005 15:48:18 +0000 (15:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Oct 2005 15:48:18 +0000 (15:48 +0000)
commitdbe5d5ee749b3d5d36c91f96b73d7554967fc8cd
tree8d470bc764822e43298eb60d1ea673aff983693btree | snapshot
parenta6138662d1a9d564f2be9fdc79cf8ed3cbae58b5commit | diff
fixed lapply on new tinycals semantic
removed expand_implicits from elim
helm/ocaml/tactics/fwdSimplTactic.ml diff | blob | history
helm/ocaml/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.