Makefile revision a737caf82de97c1907027c03e4b4509eb492b4b8
ce4924a895ca1c5859c24f5523d1e167fa04094aEwaryst Schulztree a737caf82de97c1907027c03e4b4509eb492b4b8:
ce4924a895ca1c5859c24f5523d1e167fa04094aEwaryst Schulz
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzATC.hs
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerATC/
25ae784bc2e848d6c2d53de84b4236449857e4ccEwaryst SchulzCASL.hs
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzCASL/
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuCASL_DL.hs
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzCASL_DL/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzCOL.hs
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzCOL/
ff9c2990dffff7595c257a74df90fc2a9b0eeba4Ewaryst SchulzCoCASL.hs
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzCoCASL/
25ae784bc2e848d6c2d53de84b4236449857e4ccEwaryst SchulzCommon.hs
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzCommon/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzComorphisms.hs
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzComorphisms/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzConstraintCASL/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzCspCASL.hs
ff9c2990dffff7595c257a74df90fc2a9b0eeba4Ewaryst SchulzCspCASL/
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzDriver.hs
ff9c2990dffff7595c257a74df90fc2a9b0eeba4Ewaryst SchulzDriver/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzGUI.hs
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzGUI/
b9eaaa28985395900de39c4a5ed7a8bff5b2da89Ewaryst SchulzHasCASL.hs
2acb7fe145aa2e45c4c75ab76d380d3322850031Ewaryst SchulzHasCASL/
434337161e50b53db671671fad5edb814255830aEwaryst SchulzHaskell.hs
62281905648914793072631d80b66789d94156e9Ewaryst SchulzHaskell/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzHatchet/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzHets-Haddock-Prologue.txt
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzINSTALL
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzIsabelle.hs
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzIsabelle/
ff9c2990dffff7595c257a74df90fc2a9b0eeba4Ewaryst SchulzLICENCE.txt
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzLICENSE.txt
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzLIZENZ.txt
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzLogic.hs
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzLogic/
905f3b47b556b438c9cc283743725cbbf85b4c7eEwaryst SchulzLottery/
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzMakefile
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzModal.hs
85eea66178eecaee1f7fe91c956904b49990cf18Ewaryst SchulzModal/
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzOMDoc/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederOWL_DL.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederOWL_DL/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederProofs.hs
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzProofs/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzREADME
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederReleaseMakefile
62281905648914793072631d80b66789d94156e9Ewaryst SchulzSPASS.hs
62281905648914793072631d80b66789d94156e9Ewaryst SchulzSPASS/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst SchulzStatic.hs
85eea66178eecaee1f7fe91c956904b49990cf18Ewaryst SchulzStatic/
85eea66178eecaee1f7fe91c956904b49990cf18Ewaryst SchulzSyntax/
85eea66178eecaee1f7fe91c956904b49990cf18Ewaryst SchulzTaxonomy.hs
85eea66178eecaee1f7fe91c956904b49990cf18Ewaryst SchulzTaxonomy/
85eea66178eecaee1f7fe91c956904b49990cf18Ewaryst SchulzTest.hs
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst SchulzToHaskell/
b9eaaa28985395900de39c4a5ed7a8bff5b2da89Ewaryst Schulzclean.lst
b9eaaa28985395900de39c4a5ed7a8bff5b2da89Ewaryst Schulzclean.sh
ff9c2990dffff7595c257a74df90fc2a9b0eeba4Ewaryst Schulzcvs-howto
905f3b47b556b438c9cc283743725cbbf85b4c7eEwaryst Schulzdoc/
7972feb09248111bdc02741dc1586d2ccaa60144Ewaryst Schulzfgl/
85eea66178eecaee1f7fe91c956904b49990cf18Ewaryst Schulzhets.hs
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590Ewaryst Schulzhxt/
25ae784bc2e848d6c2d53de84b4236449857e4ccEwaryst Schulzideas
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedermini/
25ae784bc2e848d6c2d53de84b4236449857e4ccEwaryst Schulztest/
85eea66178eecaee1f7fe91c956904b49990cf18Ewaryst Schulztodo
85eea66178eecaee1f7fe91c956904b49990cf18Ewaryst Schulzutils/
8c88c93f79320b6dd788e6307387691357910c70Ewaryst Schulzversion_nr
8c88c93f79320b6dd788e6307387691357910c70Ewaryst Schulz