]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36243ef) | patch
All the declarative tactics now have a more or less bugged implementation.
authormaiorino <??>
Thu, 27 Jul 2006 15:52:31 +0000 (15:52 +0000)
committermaiorino <??>
Thu, 27 Jul 2006 15:52:31 +0000 (15:52 +0000)
commit31d3422a07ed889dff7bda3a28884caff30cba07
tree92d0980e685ce2730d4f7f41e3bb646f07fc2a70tree | snapshot
parent36243ef64310a9ea2e51a0295744ab5de7abe055commit | diff
All the declarative tactics now have a more or less bugged implementation.
components/grafite_engine/grafiteEngine.ml diff | blob | history
components/tactics/declarative.ml diff | blob | history
matita/tests/decl.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.