Makefile revision 9ebbce450fb242e1a346f9f89367d8c46fcb2ec8
c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maedertree 9ebbce450fb242e1a346f9f89367d8c46fcb2ec8:
c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maeder
c797f343be2f3619bb1f5569753166ec49d27bdbChristian MaederATC.hs
c797f343be2f3619bb1f5569753166ec49d27bdbChristian MaederATC/
c797f343be2f3619bb1f5569753166ec49d27bdbChristian MaederCASL.hs
c797f343be2f3619bb1f5569753166ec49d27bdbChristian MaederCASL/
c797f343be2f3619bb1f5569753166ec49d27bdbChristian MaederCASL_DL.hs
c797f343be2f3619bb1f5569753166ec49d27bdbChristian MaederCASL_DL/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederCOL.hs
c797f343be2f3619bb1f5569753166ec49d27bdbChristian MaederCOL/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederCoCASL.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederCoCASL/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederCommon.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederCommon/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederComorphisms.hs
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederComorphisms/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederConstraintCASL/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederCspCASL.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederCspCASL/
04dada28736b4a237745e92063d8bdd49a362debChristian MaederDriver.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederDriver/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederGUI.hs
fb50920e621bfc152c19147cb52077ff06b3526bChristian MaederGUI/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederHasCASL.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederHasCASL/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederHaskell.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederHaskell/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederHets-Haddock-Prologue.txt
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederINSTALL
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederIsabelle.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederIsabelle/
04dada28736b4a237745e92063d8bdd49a362debChristian MaederLICENCE.txt
04dada28736b4a237745e92063d8bdd49a362debChristian MaederLICENSE.txt
04dada28736b4a237745e92063d8bdd49a362debChristian MaederLIZENZ.txt
b5699d97a9e2b4496f98d624f4b0a537986651c3Christian MaederLogic.hs
c797f343be2f3619bb1f5569753166ec49d27bdbChristian MaederLogic/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederLottery/
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederMakefile
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederMakefile.installer
04dada28736b4a237745e92063d8bdd49a362debChristian MaederModal.hs
04dada28736b4a237745e92063d8bdd49a362debChristian MaederModal/
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederOMDoc/
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederOWL_DL.hs
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederOWL_DL/
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederPGIP.hs
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederPGIP/
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederProofs.hs
ffd01020a4f35f434b912844ad6e0d6918fadffdChristian MaederProofs/
ffd01020a4f35f434b912844ad6e0d6918fadffdChristian MaederPropositional.hs
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederPropositional/
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederREADME
04dada28736b4a237745e92063d8bdd49a362debChristian MaederReleaseMakefile
04dada28736b4a237745e92063d8bdd49a362debChristian MaederSPASS.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederSPASS/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederStatic.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederStatic/
04dada28736b4a237745e92063d8bdd49a362debChristian MaederSyntax/
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederTaxonomy.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederTaxonomy/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian MaederTest.hs
b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederToHaskell/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederclean.lst
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederclean.sh
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maedercvs-howto
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederdoc/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederhaifa-lite/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederhets.hs
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederhets.in
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederideas
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maedermini/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederpretty/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maedersample-ghci-script
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maedersyb-generics/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maedertest/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maedertodo
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederutils/
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederversion_nr
462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maeder