]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e082326) | patch
:
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 22 Mar 2006 13:47:39 +0000 (13:47 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 22 Mar 2006 13:47:39 +0000 (13:47 +0000)
commitad4b678b155e33fc9bf7264a18f7d60a9fc62ec0
treeca5155f7666c3329f512f66ce21cc9582fd9133atree | snapshot
parente0823263070af6e0b6f939a2c3206a7c224bcb98commit | diff
:
This line, and those below, will be ignored--

M    tactics/paramodulation/utils.ml
components/tactics/paramodulation/utils.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.