java/test/Country.owl

	Country.owl revision cecfd75627906782ae740bf7c0cf5397a08468f5
634N/Atree cecfd75627906782ae740bf7c0cf5397a08468f5:
634N/A
634N/AATC.hs
634N/AATC/
634N/ACASL.hs
634N/ACASL/
634N/ACASL_DL.hs
634N/ACASL_DL/
634N/ACOL.hs
634N/ACOL/
634N/ACoCASL.hs
634N/ACoCASL/
634N/ACommon.hs
634N/ACommon/
634N/AComorphisms.hs
634N/AComorphisms/
634N/AConstraintCASL/
634N/ACspCASL.hs
634N/ACspCASL/
634N/ADriver.hs
634N/ADriver/
634N/AGMP/
634N/AGUI.hs
634N/AGUI/
634N/AHasCASL.hs
634N/AHasCASL/
634N/AHaskell.hs
634N/AHaskell/
634N/AHets-Haddock-Prologue.txt
634N/AHets.cabal
634N/AINSTALL
634N/AIsabelle.hs
634N/AIsabelle/
634N/ALICENCE.txt
634N/ALICENSE.txt
634N/ALIZENZ.txt
634N/ALogic.hs
634N/ALogic/
634N/ALottery/
634N/AMakefile
634N/AMakefile.installer
634N/AModal.hs
634N/AModal/
634N/AModifications/
634N/AOMDoc/
634N/AOWL_DL.hs
634N/AOWL_DL/
634N/APGIP.hs
634N/APGIP/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
README
README.installer
ReleaseMakefile
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr