hets-lib-database-testfiles revision 3d3889e0cefcdce9b3f43c53aaa201943ac2e895
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenktree 3d3889e0cefcdce9b3f43c53aaa201943ac2e895:
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkConstraintCASL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCspCASLProver/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkModifications/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkPropositional/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkRelationalScheme/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkReleaseMakefile
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenksample-ghci-script