sci.jeuri101.libraries - Revision 1238: /rewriting/branches/sebas-chris/examples/logic

• ..
• Logic.hs
• LogicGenerator.hs
• LogicRules.hs
• LogicStrategies.hs
• LogicTesting.hs
• logic.exe.prof
• run