Hs2HOLCFaux.hs revision 14a3cc9512ab27e1f59f01cc23f7d9f97e2e1c4c
f743002678eb67b99bbc29fee116b65d9530fec0wrowetree 14a3cc9512ab27e1f59f01cc23f7d9f97e2e1c4c:
80833bb9a1bf25dcf19e814438a4b311d2e1f4cffuankg
a34684a59b60a4173c25035d0c627ef17e6dc215rpluemATC.hs
1337c7673efc1f80f634139fbad7cbb98a0dc657ylavicATC/
1337c7673efc1f80f634139fbad7cbb98a0dc657ylavicCASL.hs
1337c7673efc1f80f634139fbad7cbb98a0dc657ylavicCASL/
1337c7673efc1f80f634139fbad7cbb98a0dc657ylavicCASL_DL.hs
4da61833a1cbbca94094f9653fd970582b97a72etrawickCASL_DL/
4da61833a1cbbca94094f9653fd970582b97a72etrawickCOL.hs
4da61833a1cbbca94094f9653fd970582b97a72etrawickCOL/
4da61833a1cbbca94094f9653fd970582b97a72etrawickCoCASL.hs
4da61833a1cbbca94094f9653fd970582b97a72etrawickCoCASL/
4789804be088bcd86ae637a29cdb7fda25169521jailletcCommon.hs
4789804be088bcd86ae637a29cdb7fda25169521jailletcCommon/
4789804be088bcd86ae637a29cdb7fda25169521jailletcComorphisms.hs
4789804be088bcd86ae637a29cdb7fda25169521jailletcComorphisms/
e50c3026198fd496f183cda4c32a202925476778covenerCspCASL.hs
e50c3026198fd496f183cda4c32a202925476778covenerCspCASL/
e50c3026198fd496f183cda4c32a202925476778covenerDriver.hs
5b88c8507d5ef6d0c4cfbc78230294968175b638minfrinDriver/
5b88c8507d5ef6d0c4cfbc78230294968175b638minfrinGUI.hs
6c3b9cebb551140fbb25d58bae08b539b3802133ylavicGUI/
6c3b9cebb551140fbb25d58bae08b539b3802133ylavicHasCASL.hs
6c3b9cebb551140fbb25d58bae08b539b3802133ylavicHasCASL/
4f29b65ab4b547ad5dbe506e2d0ff5d12ead9247ylavicHaskell.hs
4f29b65ab4b547ad5dbe506e2d0ff5d12ead9247ylavicHaskell/
0a0df13b7f1f4f1a74fe295253d89ca3911b301aylavicHatchet/
0a0df13b7f1f4f1a74fe295253d89ca3911b301aylavicHets-Haddock-Prologue.txt
0a0df13b7f1f4f1a74fe295253d89ca3911b301aylavicINSTALL
0a0df13b7f1f4f1a74fe295253d89ca3911b301aylavicIsabelle.hs
69301145375a889e7e37caf7cc7321ac0f91801erpluemIsabelle/
69301145375a889e7e37caf7cc7321ac0f91801erpluemLICENCE.txt
69301145375a889e7e37caf7cc7321ac0f91801erpluemLICENSE.txt
506bfe33206b2fece40ef25f695af39dd4130facjkaluzaLIZENZ.txt
506bfe33206b2fece40ef25f695af39dd4130facjkaluzaLogic.hs
506bfe33206b2fece40ef25f695af39dd4130facjkaluzaLogic/
506bfe33206b2fece40ef25f695af39dd4130facjkaluzaLottery/
d58a848a016d401b965111e50ef829e1641f7834minfrinMakefile
d58a848a016d401b965111e50ef829e1641f7834minfrinModal.hs
d58a848a016d401b965111e50ef829e1641f7834minfrinModal/
2e6f4d654c96c98b761fb012fd25c5d5b1558c44sfOWL_DL.hs
2e6f4d654c96c98b761fb012fd25c5d5b1558c44sfOWL_DL/
2e6f4d654c96c98b761fb012fd25c5d5b1558c44sfProofs.hs
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicProofs/
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicREADME
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicReleaseMakefile
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicSPASS.hs
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicSPASS/
e8bd80a4bb88199d2f9a24a50345688e52d9c116ylavicStatic.hs
e8bd80a4bb88199d2f9a24a50345688e52d9c116ylavicStatic/
e8bd80a4bb88199d2f9a24a50345688e52d9c116ylavicSyntax/
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicTaxonomy.hs
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicTaxonomy/
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicTest.hs
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicToHaskell/
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicclean.lst
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicclean.sh
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicdoc/
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerfgl/
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerhets.hs
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerhxt/
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerideas
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerinstall.sh
44ff304057225e944e220e981d434a046d14cf06covenermini/
44ff304057225e944e220e981d434a046d14cf06covenertest/
44ff304057225e944e220e981d434a046d14cf06covenertodo
44ff304057225e944e220e981d434a046d14cf06covenerutils/
5d1ba75b8794925e67591c209085a49279791de9covenerversion_nr
5d1ba75b8794925e67591c209085a49279791de9covener