test10.ofn.xml.xml.xml revision cfa86d9bc79b7a2ed1b22ebd58d477ab1890adb5
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmanntree cfa86d9bc79b7a2ed1b22ebd58d477ab1890adb5:
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannConstraintCASL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCspCASLProver/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannModifications/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannPropositional/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannRelationalScheme/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannReleaseMakefile
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannsample-ghci-script