test02 revision acbf23225cd306f2a38c27f993a14569b26e789f
fa9e4066f08beec538e775443c5be79dd423fcabahrenstree acbf23225cd306f2a38c27f993a14569b26e789f:
fa9e4066f08beec538e775443c5be79dd423fcabahrens
fa9e4066f08beec538e775443c5be79dd423fcabahrensATC.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensATC/
fa9e4066f08beec538e775443c5be79dd423fcabahrensCASL.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensCASL/
fa9e4066f08beec538e775443c5be79dd423fcabahrensCASL_DL.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensCASL_DL/
fa9e4066f08beec538e775443c5be79dd423fcabahrensCOL.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensCOL/
fa9e4066f08beec538e775443c5be79dd423fcabahrensCoCASL.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensCoCASL/
fa9e4066f08beec538e775443c5be79dd423fcabahrensCommon.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensCommon/
fa9e4066f08beec538e775443c5be79dd423fcabahrensComorphisms.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensComorphisms/
fa9e4066f08beec538e775443c5be79dd423fcabahrensConstraintCASL/
fa9e4066f08beec538e775443c5be79dd423fcabahrensCspCASL.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensCspCASL/
fa9e4066f08beec538e775443c5be79dd423fcabahrensDriver.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensDriver/
fa9e4066f08beec538e775443c5be79dd423fcabahrensGMP/
fa9e4066f08beec538e775443c5be79dd423fcabahrensGUI.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensGUI/
fa9e4066f08beec538e775443c5be79dd423fcabahrensHasCASL.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensHasCASL/
fa9e4066f08beec538e775443c5be79dd423fcabahrensHaskell.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensHaskell/
fa9e4066f08beec538e775443c5be79dd423fcabahrensHets-Haddock-Prologue.txt
fa9e4066f08beec538e775443c5be79dd423fcabahrensINSTALL
fa9e4066f08beec538e775443c5be79dd423fcabahrensIsabelle.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensIsabelle/
fa9e4066f08beec538e775443c5be79dd423fcabahrensLICENCE.txt
fa9e4066f08beec538e775443c5be79dd423fcabahrensLICENSE.txt
fa9e4066f08beec538e775443c5be79dd423fcabahrensLIZENZ.txt
fa9e4066f08beec538e775443c5be79dd423fcabahrensLogic.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensLogic/
fa9e4066f08beec538e775443c5be79dd423fcabahrensLottery/
fa9e4066f08beec538e775443c5be79dd423fcabahrensMakefile
fa9e4066f08beec538e775443c5be79dd423fcabahrensMakefile.installer
fa9e4066f08beec538e775443c5be79dd423fcabahrensModal.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensModal/
fa9e4066f08beec538e775443c5be79dd423fcabahrensOMDoc/
fa9e4066f08beec538e775443c5be79dd423fcabahrensOWL_DL.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensOWL_DL/
fa9e4066f08beec538e775443c5be79dd423fcabahrensPGIP.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensPGIP/
fa9e4066f08beec538e775443c5be79dd423fcabahrensProofs.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensProofs/
fa9e4066f08beec538e775443c5be79dd423fcabahrensPropositional.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensPropositional/
fa9e4066f08beec538e775443c5be79dd423fcabahrensREADME
fa9e4066f08beec538e775443c5be79dd423fcabahrensREADME.installer
fa9e4066f08beec538e775443c5be79dd423fcabahrensReleaseMakefile
fa9e4066f08beec538e775443c5be79dd423fcabahrensSPASS.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensSPASS/
fa9e4066f08beec538e775443c5be79dd423fcabahrensStatic.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensStatic/
fa9e4066f08beec538e775443c5be79dd423fcabahrensSyntax/
fa9e4066f08beec538e775443c5be79dd423fcabahrensTaxonomy.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensTaxonomy/
fa9e4066f08beec538e775443c5be79dd423fcabahrensTest.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensToHaskell/
fa9e4066f08beec538e775443c5be79dd423fcabahrensclean.lst
fa9e4066f08beec538e775443c5be79dd423fcabahrensclean.sh
fa9e4066f08beec538e775443c5be79dd423fcabahrenscvs-howto
fa9e4066f08beec538e775443c5be79dd423fcabahrensdoc/
fa9e4066f08beec538e775443c5be79dd423fcabahrenshaifa-lite/
fa9e4066f08beec538e775443c5be79dd423fcabahrenshets.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrenshets.in
fa9e4066f08beec538e775443c5be79dd423fcabahrensideas
fa9e4066f08beec538e775443c5be79dd423fcabahrensmini/
fa9e4066f08beec538e775443c5be79dd423fcabahrenspretty/
fa9e4066f08beec538e775443c5be79dd423fcabahrenssample-ghci-script
fa9e4066f08beec538e775443c5be79dd423fcabahrenssyb-generics/
fa9e4066f08beec538e775443c5be79dd423fcabahrenstest/
fa9e4066f08beec538e775443c5be79dd423fcabahrenstodo
fa9e4066f08beec538e775443c5be79dd423fcabahrensutils/
fa9e4066f08beec538e775443c5be79dd423fcabahrensversion_nr
fa9e4066f08beec538e775443c5be79dd423fcabahrens