]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13c3d9a) | patch
Changed auto from implicit to option and renamed a few functions.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 3 Oct 2006 12:56:38 +0000 (12:56 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 3 Oct 2006 12:56:38 +0000 (12:56 +0000)
commitb05fae519ae04a4a5dc79108f3d4ebe1bd4e112d
tree5feff3502dca969c3aaafe02d926675b65e23d33tree | snapshot
parent13c3d9ad1305b757a7c0023e629d26d0a6b1ca9fcommit | diff
Changed auto from implicit to option and renamed a few functions.
helm/software/components/tactics/auto.ml diff | blob | history
helm/software/components/tactics/paramodulation/equality_retrieval.ml diff | blob | history
helm/software/components/tactics/paramodulation/equality_retrieval.mli diff | blob | history
helm/software/components/tactics/paramodulation/saturation.ml diff | blob | history
helm/software/components/tactics/paramodulation/saturation.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.