hets_script revision 5a1569832754da5d278b5ebf4f440e759df348a2
2d2eda71267231c2526be701fe655db125852c1ffieldingtree 5a1569832754da5d278b5ebf4f440e759df348a2:
f062ed7bd262a37a909dd77ce5fc23b446818823fielding
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingATC.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingATC/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingAdl/
2d2eda71267231c2526be701fe655db125852c1ffieldingCASL.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingCASL/
2d2eda71267231c2526be701fe655db125852c1ffieldingCASL_DL.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingCASL_DL/
2d2eda71267231c2526be701fe655db125852c1ffieldingCMDL.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingCMDL/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingCOL.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingCOL/
2d2eda71267231c2526be701fe655db125852c1ffieldingCSL/
2d2eda71267231c2526be701fe655db125852c1ffieldingCoCASL.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingCoCASL/
2d2eda71267231c2526be701fe655db125852c1ffieldingCommon.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingCommon/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingCommonLogic/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingComorphisms.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingComorphisms/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingConstraintCASL/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingConstraints/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingCspCASL.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingCspCASL/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingCspCASLProver.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingCspCASLProver/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingDFOL/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingDMU/
2d2eda71267231c2526be701fe655db125852c1ffieldingDriver.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingDriver/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingExtModal.hs
64185f9824e42f21ca7b9ae6c004484215c031a7rbbExtModal/
2d2eda71267231c2526be701fe655db125852c1ffieldingFpl/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingFramework.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingFramework/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingFreeCAD/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingGMP/
2d2eda71267231c2526be701fe655db125852c1ffieldingGUI.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingGUI/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingHasCASL.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingHasCASL/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingHaskell.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingHaskell/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingHets-Haddock-Prologue.txt
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingHets.cabal
2d2eda71267231c2526be701fe655db125852c1ffieldingHolLight/
2d2eda71267231c2526be701fe655db125852c1ffieldingINSTALL
2d2eda71267231c2526be701fe655db125852c1ffieldingInterfaces/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingIsabelle.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingIsabelle/
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingLF/
2d2eda71267231c2526be701fe655db125852c1ffieldingLICENSE.txt
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingLIZENZ.txt
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingLogic.hs
f062ed7bd262a37a909dd77ce5fc23b446818823fieldingLogic/
2d2eda71267231c2526be701fe655db125852c1ffieldingLottery/
2d2eda71267231c2526be701fe655db125852c1ffieldingMakefile
2d2eda71267231c2526be701fe655db125852c1ffieldingMakefile.installer
2d2eda71267231c2526be701fe655db125852c1ffieldingMaude/
2d2eda71267231c2526be701fe655db125852c1ffieldingModal.hs
fd0edaa8e3d4dd67d0604ccef2e96b071db96643fieldingModal/
a253b0b3e7a5a72e32c0571a2faf336a5f5f54barbbModifications/
fd0edaa8e3d4dd67d0604ccef2e96b071db96643fieldingOMDoc.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingOMDoc/
2d2eda71267231c2526be701fe655db125852c1ffieldingOWL.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingOWL/
2d2eda71267231c2526be701fe655db125852c1ffieldingOmega/
2d2eda71267231c2526be701fe655db125852c1ffieldingPGIP/
2d2eda71267231c2526be701fe655db125852c1ffieldingProofs.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingProofs/
2d2eda71267231c2526be701fe655db125852c1ffieldingPropositional.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingPropositional/
2d2eda71267231c2526be701fe655db125852c1ffieldingQBF/
2d2eda71267231c2526be701fe655db125852c1ffieldingREADME
2d2eda71267231c2526be701fe655db125852c1ffieldingREADME.installer
2d2eda71267231c2526be701fe655db125852c1ffieldingRelationalScheme.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingRelationalScheme/
2d2eda71267231c2526be701fe655db125852c1ffieldingReleaseMakefile
2d2eda71267231c2526be701fe655db125852c1ffieldingScratch.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingSearch/
2d2eda71267231c2526be701fe655db125852c1ffieldingSoftFOL.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingSoftFOL/
2d2eda71267231c2526be701fe655db125852c1ffieldingStatic.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingStatic/
2d2eda71267231c2526be701fe655db125852c1ffieldingSyntax/
2d2eda71267231c2526be701fe655db125852c1ffieldingTHF/
2d2eda71267231c2526be701fe655db125852c1ffieldingTaxonomy.hs
2d2eda71267231c2526be701fe655db125852c1ffieldingTaxonomy/
2d2eda71267231c2526be701fe655db125852c1ffieldingTemporal/
2d2eda71267231c2526be701fe655db125852c1ffieldingToHaskell/
2d2eda71267231c2526be701fe655db125852c1ffieldingVSE/
2d2eda71267231c2526be701fe655db125852c1ffieldingatermlib/
2d2eda71267231c2526be701fe655db125852c1ffieldingbuild.xml
2d2eda71267231c2526be701fe655db125852c1ffieldingclean.lst
2d2eda71267231c2526be701fe655db125852c1ffieldingclean.sh
2d2eda71267231c2526be701fe655db125852c1ffieldingdoc/
2d2eda71267231c2526be701fe655db125852c1ffieldinghets.hs
0e6e93183d91142d7cf9ffbf502114ff77bd9e19benhets.in
0e6e93183d91142d7cf9ffbf502114ff77bd9e19benideas
0e6e93183d91142d7cf9ffbf502114ff77bd9e19benmini/
0e6e93183d91142d7cf9ffbf502114ff77bd9e19benpretty/
0e6e93183d91142d7cf9ffbf502114ff77bd9e19benprogramatica
0e6e93183d91142d7cf9ffbf502114ff77bd9e19bensample-ghci-script
0e6e93183d91142d7cf9ffbf502114ff77bd9e19bentest/
0e6e93183d91142d7cf9ffbf502114ff77bd9e19bentodo
0e6e93183d91142d7cf9ffbf502114ff77bd9e19benutils/
0e6e93183d91142d7cf9ffbf502114ff77bd9e19benvar.mk
0e6e93183d91142d7cf9ffbf502114ff77bd9e19benversion_nr
0e6e93183d91142d7cf9ffbf502114ff77bd9e19ben