README.HetCATS-DrIFT revision 0a139d5a923d7c07a9c0ecb10bb43c716a23f1cd
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox Usertree 0a139d5a923d7c07a9c0ecb10bb43c716a23f1cd:
6fe48fb46e53ffc37542853a1edb74cb481b7d94Automatic Updater
c78c39caab4cf8b5daefc9c65878f7f5ed3eb7a0Tinderbox UserATC.hs
f536382c59dd492a14667b753816d920f9981f1cTinderbox UserATC/
ab496cc3df1648e9ad992a87c35c2c0870fdc69dTinderbox UserCASL.hs
7c1468ed500356839a4a222517364e6ce18cb1a2Tinderbox UserCASL/
c57668a2fbbe558c1bd21652813616f2f517c469Tinderbox UserCASL_DL.hs
a7c412f37cc73d0332887a746e81220cbf09dd00Mark AndrewsCASL_DL/
287a6a8f9040dc43560cd69cddf83bfc0f53b76fTinderbox UserCMDL.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsCMDL/
8de3f14f1c300c3e1ed99084cc03485b42c92bf1Tinderbox UserCOL.hs
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox UserCOL/
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox UserCoCASL.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsCoCASL/
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontCommon.hs
e676a596869d8a80a644c99a848afb53d1c5975eMark AndrewsCommon/
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsComorphisms.hs
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontComorphisms/
d5637bdbb931ff79fced3d4858d83212ea58ed15Tinderbox UserConstraintCASL/
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsCspCASL.hs
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsCspCASL/
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontCspCASLProver.hs
d5637bdbb931ff79fced3d4858d83212ea58ed15Tinderbox UserCspCASLProver/
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsDFOL/
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserDriver.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsDriver/
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserGMP/
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsGUI.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserGUI/
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHasCASL.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserHasCASL/
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark AndrewsHaskell.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHaskell/
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserHets-Haddock-Prologue.txt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHets.cabal
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserINSTALL
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsInterfaces/
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserIsabelle.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsIsabelle/
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserLICENSE.txt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsLIZENZ.txt
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox UserLogic.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsLogic/
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntLottery/
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserMakefile
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserMakefile.installer
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntMaude/
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterModal.hs
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontModal/
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterModifications/
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntOMDoc.hs
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserOMDoc/
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserOWL.hs
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntOWL/
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox UserOmega/
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterPGIP/
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontProofs.hs
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterProofs/
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsPropositional.hs
cdfc81e048bd34c1d628380247bda6b80a89e20eAutomatic UpdaterPropositional/
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsREADME
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsREADME.installer
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsRelationalScheme.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsRelationalScheme/
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterReleaseMakefile
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsSearch/
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsSoftFOL.hs
16f6050f29b6b0422cee858e609f65e474e70ef2Tinderbox UserSoftFOL/
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsStatic.hs
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterStatic/
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsSyntax/
eabc9c3c07cd956d3c436bd7614cb162dabdda76Mark AndrewsTaxonomy.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTaxonomy/
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTemporal/
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTest.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsToHaskell/
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox UserVSE/
2ae159b376dac23870d8005563c585acf85a4b5aEvan Huntatermlib/
294e9d4c34462d29a3e766c88f452b46aeb3702fTinderbox Userbuild.xml
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox Userclean.lst
4c6bae917bec70e1fc4d1b761a9765075af78441Tinderbox Userclean.sh
294e9d4c34462d29a3e766c88f452b46aeb3702fTinderbox Userdoc/
2ae159b376dac23870d8005563c585acf85a4b5aEvan Hunthets.hs
2ae159b376dac23870d8005563c585acf85a4b5aEvan Hunthets.in
2ae159b376dac23870d8005563c585acf85a4b5aEvan Huntideas
2ae159b376dac23870d8005563c585acf85a4b5aEvan Huntmini/
2ae159b376dac23870d8005563c585acf85a4b5aEvan Huntpretty/
2ae159b376dac23870d8005563c585acf85a4b5aEvan Huntsample-ghci-script
7cc0a5d21ef046bfd630c4769943d896a7d7472cTinderbox Usertest/
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewstodo
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrewsutils/
ee11dfc481f2ef6a032a715454f6290961a722d2Tinderbox Uservar.mk
ee11dfc481f2ef6a032a715454f6290961a722d2Tinderbox Userversion_nr
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews