Options.hs revision 96ae1a1d2197d0e0d5b80da2474b64c456feb1b0
842ae4bd224140319ae7feec1872b93dfd491143fieldingtree 96ae1a1d2197d0e0d5b80da2474b64c456feb1b0:
842ae4bd224140319ae7feec1872b93dfd491143fielding
842ae4bd224140319ae7feec1872b93dfd491143fielding.gitignore
842ae4bd224140319ae7feec1872b93dfd491143fieldingATC.hs
842ae4bd224140319ae7feec1872b93dfd491143fieldingATC/
842ae4bd224140319ae7feec1872b93dfd491143fieldingAdl/
37a4ebc94c879426867c18fff6124fe4ca80071dstoddardCASL.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCASL/
37a4ebc94c879426867c18fff6124fe4ca80071dstoddardCASL_DL.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCASL_DL/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCMDL.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCMDL/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCOL.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCOL/
37a4ebc94c879426867c18fff6124fe4ca80071dstoddardCSL/
37a4ebc94c879426867c18fff6124fe4ca80071dstoddardCoCASL.hs
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhCoCASL/
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhCommon.hs
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhCommon/
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhCommonLogic/
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhComorphisms.hs
742318b93e89c311f66b55f426c4d9cf2c14628bjimComorphisms/
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhConstraintCASL/
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhCspCASL.hs
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhCspCASL/
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhCspCASLProver.hs
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhCspCASLProver/
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweDFOL/
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweDMU/
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweDriver.hs
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweDriver/
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweExtModal.hs
00cfefce1f9462e4fb8d6bcec2dc26329811e737wroweExtModal/
00cfefce1f9462e4fb8d6bcec2dc26329811e737wroweFpl/
37a4ebc94c879426867c18fff6124fe4ca80071dstoddardFramework.hs
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweFramework/
611df01ada045b88c4d5be6018975f7d73092f8ewroweFreeCAD/
37a4ebc94c879426867c18fff6124fe4ca80071dstoddardGMP/
37a4ebc94c879426867c18fff6124fe4ca80071dstoddardGUI.hs
09fe0b69d3d1e8c8041c9ce99ee77b8b44b5e3b1fieldingGUI/
14584dfbe1c5311cf36a88f8e7bccdb121854fbfwroweHasCASL.hs
14584dfbe1c5311cf36a88f8e7bccdb121854fbfwroweHasCASL/
14584dfbe1c5311cf36a88f8e7bccdb121854fbfwroweHaskell.hs
09fe0b69d3d1e8c8041c9ce99ee77b8b44b5e3b1fieldingHaskell/
14584dfbe1c5311cf36a88f8e7bccdb121854fbfwroweHets-Haddock-Prologue.txt
09fe0b69d3d1e8c8041c9ce99ee77b8b44b5e3b1fieldingHets.cabal
71debfa33ffaf708f3803495c4caf6b00b78ac86trawickHolLight/
71debfa33ffaf708f3803495c4caf6b00b78ac86trawickINSTALL
71debfa33ffaf708f3803495c4caf6b00b78ac86trawickInterfaces/
71debfa33ffaf708f3803495c4caf6b00b78ac86trawickIsabelle.hs
71debfa33ffaf708f3803495c4caf6b00b78ac86trawickIsabelle/
71debfa33ffaf708f3803495c4caf6b00b78ac86trawickLF/
71debfa33ffaf708f3803495c4caf6b00b78ac86trawickLICENSE.txt
3d72602d1d9e6f0d49d20f0d0a71831c160ef589wroweLIZENZ.txt
09fe0b69d3d1e8c8041c9ce99ee77b8b44b5e3b1fieldingLogic.hs
2bbc77736b206b2fad7556674abd4eeff0573b62wroweLogic/
3d72602d1d9e6f0d49d20f0d0a71831c160ef589wroweLottery/
eb3e693170bfd5fe1cf7f36a60befdd547b368d6stoddardMakefile
09fe0b69d3d1e8c8041c9ce99ee77b8b44b5e3b1fieldingMakefile.installer
743813078ccd327a79847702b183f06bbf53325btrawickMaude/
09fe0b69d3d1e8c8041c9ce99ee77b8b44b5e3b1fieldingModal.hs
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweModal/
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweModifications/
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweOMDoc.hs
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweOMDoc/
502964c5f9ada9e3d702fd9df4bf4c17cb58e14awroweOWL2.hs
502964c5f9ada9e3d702fd9df4bf4c17cb58e14awroweOWL2/
502964c5f9ada9e3d702fd9df4bf4c17cb58e14awroweOmega/
502964c5f9ada9e3d702fd9df4bf4c17cb58e14awrowePGIP/
45a0557e8f46cf6be6ee93adea4dbe77ca4232b4wroweProofs.hs
502964c5f9ada9e3d702fd9df4bf4c17cb58e14awroweProofs/
502964c5f9ada9e3d702fd9df4bf4c17cb58e14awrowePropositional.hs
29c5f2ac6f7230c6ddf302a4931b59dc4709cd3dstoddardPropositional/
502964c5f9ada9e3d702fd9df4bf4c17cb58e14awroweQBF/
e01741cd318f7107dccc0ed8758d4c478f523ec6wroweRDF/
e01741cd318f7107dccc0ed8758d4c478f523ec6wroweREADME
e01741cd318f7107dccc0ed8758d4c478f523ec6wroweREADME.installer
9e12bb8a48225fc58bc56166b1104158e0d17ed4wroweRelationalScheme.hs
075eade1756929cb292e12c6490949d7343264f9wroweRelationalScheme/
075eade1756929cb292e12c6490949d7343264f9wroweReleaseMakefile
075eade1756929cb292e12c6490949d7343264f9wroweScratch.hs
075eade1756929cb292e12c6490949d7343264f9wroweSearch/
9e12bb8a48225fc58bc56166b1104158e0d17ed4wroweSoftFOL.hs
9e12bb8a48225fc58bc56166b1104158e0d17ed4wroweSoftFOL/
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweStatic.hs
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweStatic/
9e12bb8a48225fc58bc56166b1104158e0d17ed4wroweSyntax/
13ac66e9c773fd63bf3c5e33a8de956df3feaf5dfuankgTHF/
13ac66e9c773fd63bf3c5e33a8de956df3feaf5dfuankgTaxonomy.hs
13ac66e9c773fd63bf3c5e33a8de956df3feaf5dfuankgTaxonomy/
13ac66e9c773fd63bf3c5e33a8de956df3feaf5dfuankgTemporal/
13ac66e9c773fd63bf3c5e33a8de956df3feaf5dfuankgToHaskell/
9e12bb8a48225fc58bc56166b1104158e0d17ed4wroweVSE/
9e12bb8a48225fc58bc56166b1104158e0d17ed4wroweatermlib/
9e12bb8a48225fc58bc56166b1104158e0d17ed4wrowebuild.xml
9e12bb8a48225fc58bc56166b1104158e0d17ed4wroweclean.lst
aecf42dc99d18606f701fac22608c1819f38dcc7trawickclean.sh
9e12bb8a48225fc58bc56166b1104158e0d17ed4wrowedoc/
9e12bb8a48225fc58bc56166b1104158e0d17ed4wrowehets.hs
9e12bb8a48225fc58bc56166b1104158e0d17ed4wrowehets.in
9e12bb8a48225fc58bc56166b1104158e0d17ed4wroweideas
9e12bb8a48225fc58bc56166b1104158e0d17ed4wrowemini/
ed97bc5a0278d0ad796fa6a8965de61116c92ea7trawickpretty/
9e12bb8a48225fc58bc56166b1104158e0d17ed4wroweprogramatica
9e12bb8a48225fc58bc56166b1104158e0d17ed4wrowesample-ghci-script
9e12bb8a48225fc58bc56166b1104158e0d17ed4wrowetest/
9e12bb8a48225fc58bc56166b1104158e0d17ed4wrowetodo
075eade1756929cb292e12c6490949d7343264f9wroweutils/
9e12bb8a48225fc58bc56166b1104158e0d17ed4wrowevar.mk
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wroweversion_nr
fe679cfd0b0ba1f8d59f09460548d2a7d0231f63wrowe