TerminationProof.hs revision f955439310a3bdfccb2543de3b9bd29480e1033f
f743002678eb67b99bbc29fee116b65d9530fec0wrowetree f955439310a3bdfccb2543de3b9bd29480e1033f:
80833bb9a1bf25dcf19e814438a4b311d2e1f4cffuankg
6736c640e65e06990ef33af71ee81fac4df4ff5fjimATC.hs
7b395e4e878c28a4784919cfd2e704ddd14a3390jortonATC/
7b395e4e878c28a4784919cfd2e704ddd14a3390jortonCASL.hs
7b395e4e878c28a4784919cfd2e704ddd14a3390jortonCASL/
7b395e4e878c28a4784919cfd2e704ddd14a3390jortonCASL_DL.hs
e81785da447b469da66f218b3f0244aab507958djortonCASL_DL/
e81785da447b469da66f218b3f0244aab507958djortonCOL.hs
e81785da447b469da66f218b3f0244aab507958djortonCOL/
e81785da447b469da66f218b3f0244aab507958djortonCoCASL.hs
424b4e796cde9df955948c354cb4df6080a92d4esfCoCASL/
424b4e796cde9df955948c354cb4df6080a92d4esfCommon.hs
424b4e796cde9df955948c354cb4df6080a92d4esfCommon/
5cc1d035c9293c4d64b2344b5eac35edd1bd4537rpluemComorphisms.hs
5cc1d035c9293c4d64b2344b5eac35edd1bd4537rpluemComorphisms/
5cc1d035c9293c4d64b2344b5eac35edd1bd4537rpluemCspCASL.hs
5cc1d035c9293c4d64b2344b5eac35edd1bd4537rpluemCspCASL/
3e4e54d4e3fc0123c63d57aa84ac7ad7a8c73ff8jortonDriver.hs
3e4e54d4e3fc0123c63d57aa84ac7ad7a8c73ff8jortonDriver/
3e4e54d4e3fc0123c63d57aa84ac7ad7a8c73ff8jortonGUI.hs
00f53c09b10014571b639d5e9df993fb188220a6sfGUI/
00f53c09b10014571b639d5e9df993fb188220a6sfHasCASL.hs
00f53c09b10014571b639d5e9df993fb188220a6sfHasCASL/
00f53c09b10014571b639d5e9df993fb188220a6sfHaskell.hs
459eaf0826f995b73a0dc066f59ea10d2824e72dsfHaskell/
459eaf0826f995b73a0dc066f59ea10d2824e72dsfHatchet/
459eaf0826f995b73a0dc066f59ea10d2824e72dsfHets-Haddock-Prologue.txt
459eaf0826f995b73a0dc066f59ea10d2824e72dsfINSTALL
6d6cd31bddca0b7d9cf9d18e46cd2361530e24f3sfIsabelle.hs
6d6cd31bddca0b7d9cf9d18e46cd2361530e24f3sfIsabelle/
6d6cd31bddca0b7d9cf9d18e46cd2361530e24f3sfLICENCE.txt
53e9b27aba029b18be814df40bcf6f0428771d1efuankgLICENSE.txt
53e9b27aba029b18be814df40bcf6f0428771d1efuankgLIZENZ.txt
53e9b27aba029b18be814df40bcf6f0428771d1efuankgLogic.hs
53e9b27aba029b18be814df40bcf6f0428771d1efuankgLogic/
53e9b27aba029b18be814df40bcf6f0428771d1efuankgLottery/
347074f011eae59e518ddf8d8474d35e029a2056sfMakefile
fe2e0971201136f2dbc6b000ad5c006a1a6ff672sfModal.hs
fe2e0971201136f2dbc6b000ad5c006a1a6ff672sfModal/
347074f011eae59e518ddf8d8474d35e029a2056sfOWL_DL.hs
21da42a6b8f551ef603bd06356d3bf71d6d0c21dsfOWL_DL/
21da42a6b8f551ef603bd06356d3bf71d6d0c21dsfProofs.hs
21da42a6b8f551ef603bd06356d3bf71d6d0c21dsfProofs/
2876a591f17b0c6ed0cf28da929643965e67c953sfREADME
2876a591f17b0c6ed0cf28da929643965e67c953sfReleaseMakefile
2876a591f17b0c6ed0cf28da929643965e67c953sfSPASS.hs
2876a591f17b0c6ed0cf28da929643965e67c953sfSPASS/
38eb64d29a17648e108852de42f23335aecaa8f8sfStatic.hs
976f49eaf81ffe917272e4f1834115dec06962b0sfStatic/
38eb64d29a17648e108852de42f23335aecaa8f8sfSyntax/
5a1f28ac93914b4bae892c69ac4b3e670bc10da8ndTaxonomy.hs
5a1f28ac93914b4bae892c69ac4b3e670bc10da8ndTaxonomy/
5a1f28ac93914b4bae892c69ac4b3e670bc10da8ndTest.hs
0361488d59792d052a9f8024c0e5a1ef909252e6rpluemToHaskell/
0361488d59792d052a9f8024c0e5a1ef909252e6rpluemclean.lst
0361488d59792d052a9f8024c0e5a1ef909252e6rpluemclean.sh
6135cc8178d75a52828ad225b1d568cd1e97799erpluemdoc/
6135cc8178d75a52828ad225b1d568cd1e97799erpluemfgl/
6135cc8178d75a52828ad225b1d568cd1e97799erpluemhets.hs
44761f3e3072cf78a4997a88bb9a515ca101a1f4covenerhxt/
44761f3e3072cf78a4997a88bb9a515ca101a1f4covenerideas
44761f3e3072cf78a4997a88bb9a515ca101a1f4covenerinstall.sh
2ba1586475aa4ec972ca7c19b06d53bf76f0ee7efuankgmini/
2ba1586475aa4ec972ca7c19b06d53bf76f0ee7efuankgtest/
c7502880be24058c7fc03771fda61f95bc238339sftodo
c7502880be24058c7fc03771fda61f95bc238339sfutils/
c7502880be24058c7fc03771fda61f95bc238339sfversion_nr
ca61ccd0c306c2c72df153688ba1b49f3eceed80sf