Makefile revision afc52bfaabee38c4d55cee9f35b1a0028ba3854a
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian Maedertree afc52bfaabee38c4d55cee9f35b1a0028ba3854a:
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian Maeder
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian MaederATC.hs
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian MaederATC/
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian MaederCASL.hs
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian MaederCASL/
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian MaederCASL_DL.hs
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian MaederCASL_DL/
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian MaederCOL.hs
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian MaederCOL/
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian MaederCoCASL.hs
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederCoCASL/
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederCommon.hs
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederCommon/
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederComorphisms.hs
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederComorphisms/
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederConstraintCASL/
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederCspCASL.hs
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederCspCASL/
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederDriver.hs
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederDriver/
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederGMP/
3b48e17c1da54ee669e70b626d9fbc32ce495b2cChristian MaederGUI.hs
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederGUI/
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederHasCASL.hs
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederHasCASL/
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederHaskell.hs
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederHaskell/
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederHets-Haddock-Prologue.txt
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederHets.cabal
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederINSTALL
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederIsabelle.hs
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederIsabelle/
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian MaederLICENCE.txt
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederLICENSE.txt
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederLIZENZ.txt
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederLogic.hs
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederLogic/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederLottery/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederMakefile
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederMakefile.installer
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederModal.hs
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederModal/
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederModifications/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederOMDoc/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederOWL_DL.hs
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederOWL_DL/
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederPGIP.hs
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederPGIP/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederProofs.hs
20bd79f8844604c145510c616fecdaf47eba2fdbChristian MaederProofs/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederPropositional.hs
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederPropositional/
3b48e17c1da54ee669e70b626d9fbc32ce495b2cChristian MaederREADME
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian MaederREADME.installer
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederReleaseMakefile
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederSoftFOL.hs
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederSoftFOL/
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederStatic.hs
3b48e17c1da54ee669e70b626d9fbc32ce495b2cChristian MaederStatic/
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederSyntax/
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederTaxonomy.hs
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederTaxonomy/
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederTest.hs
9f93b2a8b552789cd939d599504d39732672dc84Christian MaederToHaskell/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian Maederclean.lst
9f93b2a8b552789cd939d599504d39732672dc84Christian Maederclean.sh
9f93b2a8b552789cd939d599504d39732672dc84Christian Maedercvs-howto
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian Maederdoc/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian Maederhaifa-lite/
9f93b2a8b552789cd939d599504d39732672dc84Christian Maederhets.hs
9f93b2a8b552789cd939d599504d39732672dc84Christian Maederhets.in
9f93b2a8b552789cd939d599504d39732672dc84Christian Maederideas
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian Maedermini/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian Maederpretty/
9f93b2a8b552789cd939d599504d39732672dc84Christian Maedersample-ghci-script
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian Maedersyb-generics/
23a0d43ca980983c7d7aebaa9f03bfe120be7de8Christian Maedertest/
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian Maedertodo
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian Maederutils/
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian Maederversion_nr
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2Christian Maeder