]> matita.cs.unibo.it Git - helm.git/commit
Inversion code cleaning.
authormarangon <??>
Fri, 10 Mar 2006 12:20:41 +0000 (12:20 +0000)
committermarangon <??>
Fri, 10 Mar 2006 12:20:41 +0000 (12:20 +0000)
commit7803bba7862a492252d520d670614738b866ae1e
treeb4324fce03f954fb37309c1f3e9147d8957f7659
parent396c57fd76a6a3386c7c0fce37787fc188e006bf
Inversion code cleaning.
components/tactics/.depend
components/tactics/Makefile
components/tactics/inversion.ml
components/tactics/inversion.mli