IsaProve.hs revision 90fbaf1cd73486129e26e1ac94a413550832e4d6
c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenktree 90fbaf1cd73486129e26e1ac94a413550832e4d6:
c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkConstraintCASL/
c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkCspCASLProver/