rel.het revision 05a206508bc898f87fe6ab6e069814df3c29d303
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian Maedertree 05a206508bc898f87fe6ab6e069814df3c29d303:
306763c67bb99228487345b32ab8c5c6cd41f23cChristian Maeder
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian MaederATC.hs
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederATC/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCASL.hs
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiCASL/
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCASL_DL.hs
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCASL_DL/
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCOL.hs
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederCOL/
44fb55f639914f4f531641f32dd4904f15c510a4Till MossakowskiCoCASL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCoCASL/
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCommon.hs
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCommon/
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederComorphisms.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiComorphisms/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiConstraintCASL/
5c602504f85bbac7ddf0226064452bdc7d4a8cd8Till MossakowskiCspCASL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCspCASL/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiDL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiDL/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiDriver.hs
ae7058143db9e9993b5eff70bd6b7aede7cec658Till MossakowskiDriver/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiGMP/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiGUI.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiGUI/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiHasCASL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiHasCASL/
922819b1c2d383a0fa5d70e1c4aa76667e2f1ca3Christian MaederHaskell.hs
0647a6c86b231e391826c7715338ba29cb4934c0Christian MaederHaskell/
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederHets-Haddock-Prologue.txt
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederHets.cabal
19298cbfd6ee2abd904f3181af7760b965b822c3Christian MaederINSTALL
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiIsabelle.hs
59fa9b1349ae1e001d996da732c4ac805c2938e2Christian MaederIsabelle/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLICENSE.txt
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLIZENZ.txt
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLogic.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLogic/
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederLottery/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiMakefile
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiMakefile.installer
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiModal.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiModal/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiModifications/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiOMDoc/
d85e3f253f6af237c4b70bbfacb1bfecb5cfa678Christian MaederOWL.hs
d85e3f253f6af237c4b70bbfacb1bfecb5cfa678Christian MaederOWL/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiPGIP.hs
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiPGIP/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiProofs.hs
4184cb191a9081cb2a9cf3ef5f060f56f0ca5922Till MossakowskiProofs/
8731f7b93b26083dc34a2c0937cd6493b42f2c2cTill MossakowskiPropositional.hs
4184cb191a9081cb2a9cf3ef5f060f56f0ca5922Till MossakowskiPropositional/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiREADME
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiREADME.installer
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederRelationalScheme.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiRelationalScheme/
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederReleaseMakefile
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiSearch/
5d6e7ea3bd14fc987436cff0f542393ea9ba34bbTill MossakowskiSoftFOL.hs
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederSoftFOL/
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederStatic.hs
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederStatic/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiSyntax/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiTaxonomy.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiTaxonomy/
0647a6c86b231e391826c7715338ba29cb4934c0Christian MaederTest.hs
0e51a998b1b213654c7a9eca451562041971f100Till MossakowskiToHaskell/
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskiclean.lst
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskiclean.sh
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskidoc/
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maederhaifa-lite/
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maederhets.hs
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maederhets.in
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maederideas
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maedermini/
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maederpretty/
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maedersample-ghci-script
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maedersyb-generics/
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maedertest/
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maedertodo
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maederutils/
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maederversion_nr
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maeder