Options.hs revision df86c42574168135e8e2af9cf468fae774874cd0
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniaktree df86c42574168135e8e2af9cf468fae774874cd0:
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCommonLogic/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakComorphisms/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakConstraintCASL/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakConstraints/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCspCASLProver/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakModifications/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakPropositional/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakRelationalScheme/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakReleaseMakefile