]> matita.cs.unibo.it Git - helm.git/commit
Code clean up.
authormarangon <??>
Wed, 11 Jan 2006 10:45:57 +0000 (10:45 +0000)
committermarangon <??>
Wed, 11 Jan 2006 10:45:57 +0000 (10:45 +0000)
commitda59a744767c799ad287489c55f2ff972f93d93c
tree0e9fe89e0db52482eebdd0d07d8504eb6741ffb8
parentd468b38f538a7c7d4ace666c1c41931621e8f28c
Code clean up.
helm/ocaml/tactics/inversion.ml