]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Jun 2009 18:56:48 +0000 (18:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Jun 2009 18:56:48 +0000 (18:56 +0000)
commitbe2a030746e20744f9a317a31c7053bcfbb6e505
treea8e616259d52e768104b650f477436b3bd1fdf78
parenta631b7a0a43b178eb7f68efb4345302441067dcd
...
helm/software/components/ng_paramodulation/superposition.ml