Makefile revision d8c71aacc9f1c8cd40a8ad8dcdad9be8854b849f
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von Schroedertree d8c71aacc9f1c8cd40a8ad8dcdad9be8854b849f:
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederATC.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederATC/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederCASL.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederCASL/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederCASL_DL.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederCASL_DL/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederCOL.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederCOL/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederCoCASL.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederCoCASL/
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von SchroederCommon.hs
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von SchroederCommon/
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von SchroederComorphisms.hs
0f62c81f3b90f151d8b5adde2f039948e2f0dc16Jonathan von SchroederComorphisms/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederCspCASL.hs
18d5da8101a438aaf8c27d7e740f835e707fc0b8Jonathan von SchroederCspCASL/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederDriver.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederDriver/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederGUI.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederGUI/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederHasCASL.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederHasCASL/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederHaskell.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederHaskell/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederHatchet/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederHets-Haddock-Prologue.txt
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederINSTALL
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederIsabelle.hs
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von SchroederIsabelle/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederLICENCE.txt
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederLIZENZ.txt
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederLogic.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederLogic/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederLottery/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederMakefile
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederModal.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederModal/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederOWL_DL.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederOWL_DL/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederProofs.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederProofs/
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von SchroederREADME
6df4343f46cc159371dfa671c5943354480f4e1cJonathan von SchroederReleaseMakefile
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederSPASS.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederSPASS/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederStatic.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederStatic/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederSyntax/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederTaxonomy.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederTaxonomy/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederTest.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von SchroederToHaskell/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederclean.lst
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederclean.sh
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederdoc/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederdocs/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederfgl/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederhaterm-1.0/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederhets.hs
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederhxt/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederideas
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederinstall.sh
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroedermini/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroedertest/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroedertodo
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederutils/
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroederversion_nr
3a321bd2e5b11ccb6fc6afe3baf71bc0d73f818aJonathan von Schroeder