]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87f7e1c) | patch
fixing the semantics of subst
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Aug 2006 08:56:16 +0000 (08:56 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Aug 2006 08:56:16 +0000 (08:56 +0000)
commit14dc1c8085e0aa49a606f78655f693184827f72b
treec5ca7f1e305b2801f8ddaeb2b5eb5b9ff6ed7022tree | snapshot
parent87f7e1c9c7a65ed62d19324b2a879a40e933bc5bcommit | diff
fixing the semantics of subst
helm/software/components/tactics/equalityTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.