]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2749214) | patch
Filtering all equations that cannot be embedded (containing metas in the blob).
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Nov 2011 11:57:28 +0000 (11:57 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Nov 2011 11:57:28 +0000 (11:57 +0000)
commit4d8413d41d4dc81b9cc12f22de2624938aa7f643
tree9d81028384df716d299c092c166edf2b1afce0c1tree | snapshot
parent274921478404b9e0c21d41e02674e1b762fdeaa5commit | diff
Filtering all equations that cannot be embedded (containing metas in the blob).
matitaB/components/ng_paramodulation/nCicParamod.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.