hets/Search/ACINormalization.hs

	ACINormalization.hs revision 54fefc493b9a48c17286559e5902188fa8acb85a
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchitree 54fefc493b9a48c17286559e5902188fa8acb85a:
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchi
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchi.gitignore
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiATC.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiATC/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiAdl/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCASL.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCASL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCASL_DL.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCASL_DL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCMDL.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCMDL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCOL.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCOL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCSL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCoCASL.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCoCASL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCommon.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCommon/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCommonLogic/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiComorphisms.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiComorphisms/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiConstraintCASL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCspCASL.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCspCASL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCspCASLProver.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiCspCASLProver/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiDFOL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiDMU/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiDriver.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiDriver/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiExtModal.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiExtModal/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiFpl/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiFramework.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiFramework/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiFreeCAD/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiGMP/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiGUI.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiGUI/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiHasCASL.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiHasCASL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiHaskell.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiHaskell/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiHets-Haddock-Prologue.txt
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiHets.cabal
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiHolLight/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiINSTALL
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiInterfaces/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiIsabelle.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiIsabelle/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiLF/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiLICENSE.txt
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiLIZENZ.txt
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiLogic.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiLogic/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiMakefile
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiMakefile.installer
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiMaude/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiModal.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiModal/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiModifications/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiOMDoc.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiOMDoc/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiOWL2.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiOWL2/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiOmega/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiPGIP/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiProofs.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiProofs/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiPropositional.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiPropositional/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiQBF/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiRDF/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiREADME
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiREADME.installer
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiRelationalScheme.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiRelationalScheme/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiReleaseMakefile
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiScratch.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiSoftFOL.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiSoftFOL/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiStatic.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiStatic/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiSyntax/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiTHF/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiTaxonomy.hs
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiTaxonomy/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiTemporal/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiToHaskell/
d14abf155341d55053c76eeec58b787a456b753bRobert MustacchiVSE/
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchiatermlib/
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchibuild.xml
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchiclean.lst
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchiclean.sh
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchidoc/
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchihets.hs
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchihets.in
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchiideas
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchimini/
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchipretty/
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchiprogramatica
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchisample-ghci-script
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchitest/
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchitodo
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchiutils/
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchivar.mk
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchiversion_nr
d14abf155341d55053c76eeec58b787a456b753bRobert Mustacchi