rel.het revision 1fb981ffeaa43aff14d25dc89aa0139d4929282d
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elknertree 1fb981ffeaa43aff14d25dc89aa0139d4929282d:
c4ae37349f31bb57fba21eb842ea3f2e439abb1cGeorgel Calin
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinATC.hs
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuATC/
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinCASL.hs
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinCASL/
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinCASL_DL.hs
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinCASL_DL/
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinCOL.hs
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinCOL/
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinCoCASL.hs
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinCoCASL/
c4ae37349f31bb57fba21eb842ea3f2e439abb1cGeorgel CalinCommon.hs
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinCommon/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinComorphisms.hs
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel CalinComorphisms/
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinConstraintCASL/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinCspCASL.hs
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel CalinCspCASL/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederDL.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederDL/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederDriver.hs
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinDriver/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinGMP/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinGUI.hs
9a80079e082fdf4fe8e19f8fc61e6cd8799b47a7Christian MaederGUI/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederHasCASL.hs
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinHasCASL/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinHaskell.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederHaskell/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinHets-Haddock-Prologue.txt
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederHets.cabal
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederINSTALL
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederIsabelle.hs
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinIsabelle/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinLICENSE.txt
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinLIZENZ.txt
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederLogic.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederLogic/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederLottery/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederMakefile
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinMakefile.installer
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinModal.hs
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinModal/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinModifications/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederOMDoc/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinOWL.hs
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinOWL/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinPGIP.hs
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinPGIP/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinProofs.hs
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinProofs/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinPropositional.hs
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinPropositional/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinREADME
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinREADME.installer
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel CalinRelationalScheme.hs
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel CalinRelationalScheme/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederReleaseMakefile
f00edd94c598adc73dc4f6005d79d2295e463da5Georgel CalinSearch/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederSoftFOL.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederSoftFOL/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederStatic.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederStatic/
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinSyntax/
9a80079e082fdf4fe8e19f8fc61e6cd8799b47a7Christian MaederTaxonomy.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederTaxonomy/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederTest.hs
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel CalinToHaskell/
c4ae37349f31bb57fba21eb842ea3f2e439abb1cGeorgel Calinclean.lst
c4ae37349f31bb57fba21eb842ea3f2e439abb1cGeorgel Calinclean.sh
9a80079e082fdf4fe8e19f8fc61e6cd8799b47a7Christian Maederdoc/
2416ff1b5e23a72da496ab79aa1a7df85db32308Georgel Calinhaifa-lite/
c4ae37349f31bb57fba21eb842ea3f2e439abb1cGeorgel Calinhets.hs
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel Calinhets.in
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel Calinideas
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel Calinmini/
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel Calinpretty/
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel Calinsample-ghci-script
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel Calinsyb-generics/
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel Calintest/
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel Calintodo
ace3d0483eaadd85e5c7b59d2be8b316b4f897d2Georgel Calinutils/
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel Calinversion_nr
edbee37fd0c724e09c8471d25d0dc48ac84ac12cGeorgel Calin