]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b152728) | patch
Removed calls to paramodulation.saturation.init
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 12 Jan 2006 12:39:55 +0000 (12:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 12 Jan 2006 12:39:55 +0000 (12:39 +0000)
commitd34d9154b7ab1ce716d66e5beb370fb44748d423
tree29ee4cd03cb32639eda0f361e97c0ab44688f61ctree | snapshot
parentb1527286e32c8651d65619af61e3f638b3b89f8dcommit | diff
Removed calls to paramodulation.saturation.init
helm/matita/matita.ml diff | blob | history
helm/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.