]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66ed4f3) | patch
run check_if_goal_is_solved on all goals (active+passive)
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Apr 2009 14:53:46 +0000 (14:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Apr 2009 14:53:46 +0000 (14:53 +0000)
commit765eb07cafb8a06a5027f4569ad06d805aba2488
tree9740c26dfc88156d7075a0966a60b3db99d737f0tree | snapshot
parent66ed4f33ff67b9fe0c28ce4a37eee4834e78e115commit | diff
run check_if_goal_is_solved on all goals (active+passive)
helm/software/components/tactics/paramodulation/saturation.ml diff | blob | history
helm/software/matita/library/R/r.ma diff | blob | history
helm/software/matita/library/demo/power_derivative.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.