Transformation.hs revision 807f96a7e76bb825b1cb645f0f332c70c02ba145
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortetree 807f96a7e76bb825b1cb645f0f332c70c02ba145:
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteATC.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteATC/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteAdl/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCASL.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCASL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCASL_DL.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCASL_DL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCMDL.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCMDL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCOL.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCOL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCSL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCoCASL.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCoCASL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCommon.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCommon/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCommonLogic/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteComorphisms.hs
570de38f63910201fdd77246630b7aa8f9dc5661Surya PrakkiComorphisms/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteConstraintCASL/
570de38f63910201fdd77246630b7aa8f9dc5661Surya PrakkiConstraints/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCspCASL.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCspCASL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCspCASLProver.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCspCASLProver/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDFOL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDMU/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDriver.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDriver/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteExtModal.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteExtModal/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteFramework/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteGMP/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteGUI.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteGUI/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHasCASL.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHasCASL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHaskell.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHaskell/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHets-Haddock-Prologue.txt
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHets.cabal
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteINSTALL
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteInterfaces/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteIsabelle.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteIsabelle/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteLF/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteLICENSE.txt
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteLIZENZ.txt
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteLogic.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteLogic/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteLottery/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteMakefile
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteMakefile.installer
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteMaude/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteModal.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteModal/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteModifications/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteOMDoc.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteOMDoc/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteOWL.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteOWL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteOmega/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn FortePGIP/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteProofs.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteProofs/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn FortePropositional.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn FortePropositional/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteQBF/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteREADME
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteREADME.installer
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteRelationalScheme.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteRelationalScheme/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteReleaseMakefile
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteSearch/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteSoftFOL.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteSoftFOL/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteStatic.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteStatic/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteSyntax/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteTaxonomy.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteTaxonomy/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteTemporal/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteTest.hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteToHaskell/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteVSE/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteatermlib/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortebuild.xml
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteclean.lst
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteclean.sh
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortedoc/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteheader_warning.log
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortehets.hs
570de38f63910201fdd77246630b7aa8f9dc5661Surya Prakkihets.in
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteideas
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortemini/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortepretty/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteprogramatica
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortesample-ghci-script
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortetest/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortetodo
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteutils/
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortevar.mk
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteversion_nr
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte