MultiModuleBasics.hs revision 8dd33a794b7ab4f0da70b290e424e4fae162b3a4
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernatree 8dd33a794b7ab4f0da70b290e424e4fae162b3a4:
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquerna
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaATC.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaATC/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCASL.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCASL/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCASL_DL.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCASL_DL/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCOL.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCOL/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCoCASL.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCoCASL/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCommon.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCommon/
52fff662005b1866a3ff09bb6c902800c5cc6dedjerenkrantzComorphisms.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaComorphisms/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaConstraintCASL/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaCspCASL.hs
52fff662005b1866a3ff09bb6c902800c5cc6dedjerenkrantzCspCASL/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaDriver.hs
8bb7126c063c34d63966733988411f72dfcb2294maczniakDriver/
1cc20a8827ff6056399d64e3106b44d31e8e0e53ndGMP/
1cc20a8827ff6056399d64e3106b44d31e8e0e53ndGUI.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaGUI/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaHasCASL.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaHasCASL/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaHaskell.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaHaskell/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaHets-Haddock-Prologue.txt
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaHets.cabal
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaINSTALL
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaIsabelle.hs
5b6890f4bf64eff2abec93f06ad5b5cb7560f780pquernaIsabelle/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaLICENCE.txt
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaLICENSE.txt
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaLIZENZ.txt
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaLogic.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaLogic/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaLottery/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaMakefile
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaMakefile.installer
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaModal.hs
f7b6dbf2e1e9170838431e4f15699cc117a17d94ndModal/
5c3c22e3324f26848c1782e711c24faf28136012jerenkrantzModifications/
5c3c22e3324f26848c1782e711c24faf28136012jerenkrantzOMDoc/
5c3c22e3324f26848c1782e711c24faf28136012jerenkrantzOWL_DL.hs
5c3c22e3324f26848c1782e711c24faf28136012jerenkrantzOWL_DL/
5c3c22e3324f26848c1782e711c24faf28136012jerenkrantzPGIP.hs
5c3c22e3324f26848c1782e711c24faf28136012jerenkrantzPGIP/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaProofs.hs
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaProofs/
f7b6dbf2e1e9170838431e4f15699cc117a17d94ndPropositional.hs
1acae7fb634ac2b01682507175e072b168995e0dcolmPropositional/
9bcfc3697a91b5215893a7d0206865b13fc72148ndREADME
1acae7fb634ac2b01682507175e072b168995e0dcolmREADME.installer
9bcfc3697a91b5215893a7d0206865b13fc72148ndReleaseMakefile
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaSoftFOL.hs
5383fa753e1bcd3a04ec34ba9810d671302380f2colmSoftFOL/
5383fa753e1bcd3a04ec34ba9810d671302380f2colmStatic.hs
1acae7fb634ac2b01682507175e072b168995e0dcolmStatic/
1acae7fb634ac2b01682507175e072b168995e0dcolmSyntax/
1acae7fb634ac2b01682507175e072b168995e0dcolmTaxonomy.hs
5383fa753e1bcd3a04ec34ba9810d671302380f2colmTaxonomy/
b09705acacab4c960c608c71377aa3ec2bf9e8a1colmTest.hs
2a869ee6594f1e3e9039af332cd73f939509483acolmToHaskell/
2a869ee6594f1e3e9039af332cd73f939509483acolmclean.lst
2a869ee6594f1e3e9039af332cd73f939509483acolmclean.sh
b09705acacab4c960c608c71377aa3ec2bf9e8a1colmdoc/
b09705acacab4c960c608c71377aa3ec2bf9e8a1colmhaifa-lite/
b09705acacab4c960c608c71377aa3ec2bf9e8a1colmhets.hs
b09705acacab4c960c608c71377aa3ec2bf9e8a1colmhets.in
b09705acacab4c960c608c71377aa3ec2bf9e8a1colmideas
b09705acacab4c960c608c71377aa3ec2bf9e8a1colmmini/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernapretty/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernasample-ghci-script
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernasyb-generics/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernatest/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernatodo
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernautils/
0c294487ab3a4e567dc574bb2ad81c7ce07cfd31pquernaversion_nr
6b797d6bd26bbf8589eb0e2b6cfa2fa808f456b1pquerna