.gitignore revision 73677326fdbc1d154208000f6f37d7524d8f90cf
f743002678eb67b99bbc29fee116b65d9530fec0wrowe*~
80833bb9a1bf25dcf19e814438a4b311d2e1f4cffuankg*.hi
a34684a59b60a4173c25035d0c627ef17e6dc215rpluem*.o
1337c7673efc1f80f634139fbad7cbb98a0dc657ylavic*.dyn_hi
1337c7673efc1f80f634139fbad7cbb98a0dc657ylavic*.dyn_o
1337c7673efc1f80f634139fbad7cbb98a0dc657ylavic.*.swp
1337c7673efc1f80f634139fbad7cbb98a0dc657ylavic.hets*
4da61833a1cbbca94094f9653fd970582b97a72etrawick*.bin
4da61833a1cbbca94094f9653fd970582b97a72etrawickhets
4da61833a1cbbca94094f9653fd970582b97a72etrawickhets_server
4da61833a1cbbca94094f9653fd970582b97a72etrawickhets.cgi
4da61833a1cbbca94094f9653fd970582b97a72etrawickrev.txt
4789804be088bcd86ae637a29cdb7fda25169521jailletc*.orig
4789804be088bcd86ae637a29cdb7fda25169521jailletcdoc/*.aux
4789804be088bcd86ae637a29cdb7fda25169521jailletcdoc/*.bbl
4789804be088bcd86ae637a29cdb7fda25169521jailletcdoc/*.blg
e50c3026198fd496f183cda4c32a202925476778covenerdoc/*.fdb_latexmk
e50c3026198fd496f183cda4c32a202925476778covenerdoc/*.fls
e50c3026198fd496f183cda4c32a202925476778covenerdoc/*.log
5b88c8507d5ef6d0c4cfbc78230294968175b638minfrindoc/*.out
5b88c8507d5ef6d0c4cfbc78230294968175b638minfrindoc/UserGuide.pdf
6c3b9cebb551140fbb25d58bae08b539b3802133ylavicdoc/hs2isa.ps
6c3b9cebb551140fbb25d58bae08b539b3802133ylavicdocs/
6c3b9cebb551140fbb25d58bae08b539b3802133ylavicprogramatica/
4f29b65ab4b547ad5dbe506e2d0ff5d12ead9247ylavicOWL2/*.jar
4f29b65ab4b547ad5dbe506e2d0ff5d12ead9247ylavicOWL2/java/build/
0a0df13b7f1f4f1a74fe295253d89ca3911b301aylavicOWL2/java/tmp/
0a0df13b7f1f4f1a74fe295253d89ca3911b301aylavicOWL2/lib/
0a0df13b7f1f4f1a74fe295253d89ca3911b301aylavictmp/
0a0df13b7f1f4f1a74fe295253d89ca3911b301aylavicdebian/changelog*
69301145375a889e7e37caf7cc7321ac0f91801erpluemdebian/root
69301145375a889e7e37caf7cc7321ac0f91801erpluemdebian/files
69301145375a889e7e37caf7cc7321ac0f91801erpluemdebian/hets-*
506bfe33206b2fece40ef25f695af39dd4130facjkaluzadebian/tmp
506bfe33206b2fece40ef25f695af39dd4130facjkaluzaATC/AS_Annotation.der.hs
506bfe33206b2fece40ef25f695af39dd4130facjkaluzaATC/AS_Annotation.hs
506bfe33206b2fece40ef25f695af39dd4130facjkaluzaATC/AS_Architecture.der.hs
d58a848a016d401b965111e50ef829e1641f7834minfrinATC/AS_Architecture.hs
d58a848a016d401b965111e50ef829e1641f7834minfrinATC/AS_Library.der.hs
d58a848a016d401b965111e50ef829e1641f7834minfrinATC/AS_Library.hs
2e6f4d654c96c98b761fb012fd25c5d5b1558c44sfATC/AS_Structured.der.hs
2e6f4d654c96c98b761fb012fd25c5d5b1558c44sfATC/AS_Structured.hs
2e6f4d654c96c98b761fb012fd25c5d5b1558c44sfATC/Consistency.der.hs
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicATC/Consistency.hs
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicATC/DefaultMorphism.der.hs
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicATC/DefaultMorphism.hs
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicATC/DevGraph.der.hs
17e6c95f3b22d18acdf8380fb26a8d0e10c80767ylavicATC/DevGraph.hs
e8bd80a4bb88199d2f9a24a50345688e52d9c116ylavicATC/DgUtils.der.hs
e8bd80a4bb88199d2f9a24a50345688e52d9c116ylavicATC/DgUtils.hs
e8bd80a4bb88199d2f9a24a50345688e52d9c116ylavicATC/ExtSign.der.hs
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicATC/ExtSign.hs
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicATC/GlobalAnnotations.der.hs
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicATC/GlobalAnnotations.hs
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicATC/Graph.der.hs
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicATC/Graph.hs
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicATC/Grothendieck.hs
330e16bea8fe9cace4de90c349750c03dfb1fe64ylavicATC/IRI.der.hs
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerATC/IRI.hs
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerATC/Id.der.hs
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerATC/Id.hs
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerATC/LibName.der.hs
d7205b1a86c51c27b71a2c458dc453fd53a261c1covenerATC/LibName.hs
44ff304057225e944e220e981d434a046d14cf06covenerATC/OrderedMap.der.hs
44ff304057225e944e220e981d434a046d14cf06covenerATC/OrderedMap.hs
44ff304057225e944e220e981d434a046d14cf06covenerATC/ProofTree.der.hs
44ff304057225e944e220e981d434a046d14cf06covenerATC/ProofTree.hs
5d1ba75b8794925e67591c209085a49279791de9covenerATC/Prover.der.hs
5d1ba75b8794925e67591c209085a49279791de9covenerATC/Prover.hs
5d1ba75b8794925e67591c209085a49279791de9covenerATC/Result.der.hs
032982212dbcc7c3cce95bf89c503bb56e185ac7kbrandATC/Result.hs
032982212dbcc7c3cce95bf89c503bb56e185ac7kbrandATC/XGraph.der.hs
032982212dbcc7c3cce95bf89c503bb56e185ac7kbrandATC/XGraph.hs
032982212dbcc7c3cce95bf89c503bb56e185ac7kbrandAdl/ATC_Adl.der.hs
caad2986f81ab263f7af41467dd622dc9add17f3ylavicAdl/ATC_Adl.hs
caad2986f81ab263f7af41467dd622dc9add17f3ylavicCASL/AS_Basic_CASL.hs
caad2986f81ab263f7af41467dd622dc9add17f3ylavicCASL/ATC_CASL.der.hs
caad2986f81ab263f7af41467dd622dc9add17f3ylavicCASL/ATC_CASL.hs
45a10d38e6051fd7bdf9d742aaae633d97ff02abjailletcCASL_DL/AS_CASL_DL.hs
f7317ff316c2b141feea31bddb74d5d3fa1584edjortonCASL_DL/ATC_CASL_DL.der.hs
f7317ff316c2b141feea31bddb74d5d3fa1584edjortonCASL_DL/ATC_CASL_DL.hs
2165214331e4afafca4048f66f303d0253d7b001covenerCOL/AS_COL.hs
a34684a59b60a4173c25035d0c627ef17e6dc215rpluemCOL/ATC_COL.der.hs
a34684a59b60a4173c25035d0c627ef17e6dc215rpluemCOL/ATC_COL.hs
1e2d421a36999d292042a5539971070d54aa6c63ylavicCSL/ATC_CSL.der.hs
1e2d421a36999d292042a5539971070d54aa6c63ylavicCSL/ATC_CSL.hs
1e2d421a36999d292042a5539971070d54aa6c63ylavicCoCASL/AS_CoCASL.hs
fa7ed98b9dc94c5845cf845aea0a44ecacd290c9humbedoohCoCASL/ATC_CoCASL.der.hs
fa7ed98b9dc94c5845cf845aea0a44ecacd290c9humbedoohCoCASL/ATC_CoCASL.hs
fa7ed98b9dc94c5845cf845aea0a44ecacd290c9humbedoohCommon/AS_Annotation.hs
0b67eb8568cd58bb77082703951679b42cf098actrawickCommonLogic/AS_CommonLogic.hs
0b67eb8568cd58bb77082703951679b42cf098actrawickCommonLogic/ATC_CommonLogic.der.hs
0b67eb8568cd58bb77082703951679b42cf098actrawickCommonLogic/ATC_CommonLogic.hs
0b67eb8568cd58bb77082703951679b42cf098actrawickConstraintCASL/ATC_ConstraintCASL.der.hs
5ef3c61605a3a021ff71f488983cb0065f8e1a79covenerConstraintCASL/ATC_ConstraintCASL.hs
fb1985a97912b25ec6564c73e610a31e5fc6e25fcovenerCspCASL/AS_CspCASL.hs
09c87c777bed1655621bb20e1c46cb6b1a63279dcovenerCspCASL/AS_CspCASL_Process.hs
6502b7b32f980cc2093bb3ebce37e5e4dc68fba4ylavicCspCASL/ATC_CspCASL.der.hs
6502b7b32f980cc2093bb3ebce37e5e4dc68fba4ylavicCspCASL/ATC_CspCASL.hs
3060ce7f798fbda7999cd4ddf89b525d2b294185covenerDFOL/ATC_DFOL.der.hs
c1a63b8fad09c419c1a64f75993feb8a343a6801ylavicDFOL/ATC_DFOL.hs
c1a63b8fad09c419c1a64f75993feb8a343a6801ylavicDriver/Version.hs
c1a63b8fad09c419c1a64f75993feb8a343a6801ylavicExtModal/AS_ExtModal.hs
e6b4bd1113567627ab6bb6c6a7105e1e01a7d889jailletcExtModal/ATC_ExtModal.der.hs
e6b4bd1113567627ab6bb6c6a7105e1e01a7d889jailletcExtModal/ATC_ExtModal.hs
e466c40e1801982602ee0200c9e8b61cc148742djailletcFpl/ATC_Fpl.der.hs
e466c40e1801982602ee0200c9e8b61cc148742djailletcFpl/ATC_Fpl.hs
457468b82e59d01eba00dd9d0817309c8f5e414ejimFpl/As.hs
457468b82e59d01eba00dd9d0817309c8f5e414ejimFramework/ATC_Framework.der.hs
457468b82e59d01eba00dd9d0817309c8f5e414ejimFramework/ATC_Framework.hs
04983e3bd1754764eec7d6bb772fe3b0bf391771jortonFreeCAD/ATC_FreeCAD.der.hs
04983e3bd1754764eec7d6bb772fe3b0bf391771jortonFreeCAD/ATC_FreeCAD.hs
15890c9306ba98f6fc243e15a3c4778ddc7d773erpluemGUI/Glade/GenericATP.hs
15660979a30d251681463de2e0584853890082accovenerGUI/Glade/LinkTypeChoice.hs
15660979a30d251681463de2e0584853890082accovenerGUI/Glade/NodeChecker.hs
49dacedb6c387b786b7911082ff35121a45f414bcovenerGUI/Glade/ProverGUI.hs
49dacedb6c387b786b7911082ff35121a45f414bcovenerGUI/Glade/TextField.hs
cfd9415521847b2f9394fad04fb701cfb955f503rjungGUI/Glade/Utils.hs
cfd9415521847b2f9394fad04fb701cfb955f503rjungHasCASL/ATC_HasCASL.der.hs
cfd9415521847b2f9394fad04fb701cfb955f503rjungHasCASL/ATC_HasCASL.hs
28c31fb73c1264bd1d0ff932573677030b024c7dwroweHaskell/ATC_Haskell.der.hs
28c31fb73c1264bd1d0ff932573677030b024c7dwroweHaskell/ATC_Haskell.hs
28c31fb73c1264bd1d0ff932573677030b024c7dwroweHaskell/PreludeString.hs
28c31fb73c1264bd1d0ff932573677030b024c7dwroweHaskell/TiATC.hs
28c31fb73c1264bd1d0ff932573677030b024c7dwroweHaskell/TiDecorateATC.hs
8491e0600f69b0405e156ea8a419653c065c645bcovenerHaskell/TiPropATC.hs
63b9f1f5880391261705f696d7d65507bbe9ace3covenerHolLight/ATC_HolLight.der.hs
63b9f1f5880391261705f696d7d65507bbe9ace3covenerHolLight/ATC_HolLight.hs
63b9f1f5880391261705f696d7d65507bbe9ace3covenerIsabelle/ATC_Isabelle.der.hs
49dacedb6c387b786b7911082ff35121a45f414bcovenerIsabelle/ATC_Isabelle.hs
49dacedb6c387b786b7911082ff35121a45f414bcovenerIsabelle/IsaExport.hs
49dacedb6c387b786b7911082ff35121a45f414bcovenerIsabelle/export/examples/*.isa
49dacedb6c387b786b7911082ff35121a45f414bcovenerIsabelle/export/examples/*.isa.pretty.xml
3c990331fc6702119e4f5b8ba9eae3021aea5265jimLF/ATC_LF.der.hs
3c990331fc6702119e4f5b8ba9eae3021aea5265jimLF/ATC_LF.hs
3c990331fc6702119e4f5b8ba9eae3021aea5265jimMaude/ATC_Maude.der.hs
3c990331fc6702119e4f5b8ba9eae3021aea5265jimMaude/ATC_Maude.hs
fc42512879dd0504532f52fe5d0d0383dda96a1eniqModal/AS_Modal.hs
fc42512879dd0504532f52fe5d0d0383dda96a1eniqModal/ATC_Modal.der.hs
fc42512879dd0504532f52fe5d0d0383dda96a1eniqModal/ATC_Modal.hs
0451df5dc50fa5d8b3e07d92ee6a92e36a1181a5niqOMDoc/ATC_OMDoc.der.hs
0451df5dc50fa5d8b3e07d92ee6a92e36a1181a5niqOMDoc/ATC_OMDoc.hs
0451df5dc50fa5d8b3e07d92ee6a92e36a1181a5niqOWL2/ATC_OWL2.der.hs
da0442c0440caef34706e2c2f3af05cb65921cc0jailletcOWL2/ATC_OWL2.hs
983528026996668ea295be95aedb9c7a346af470ylavicPropositional/AS_BASIC_Propositional.hs
da0442c0440caef34706e2c2f3af05cb65921cc0jailletcPropositional/ATC_Propositional.der.hs
da0442c0440caef34706e2c2f3af05cb65921cc0jailletcPropositional/ATC_Propositional.hs
06b8f183140c8e02e0974e938a05078b511d1603covenerQBF/AS_BASIC_QBF.hs
06b8f183140c8e02e0974e938a05078b511d1603covenerQBF/ATC_QBF.der.hs
06b8f183140c8e02e0974e938a05078b511d1603covenerQBF/ATC_QBF.hs
15890c9306ba98f6fc243e15a3c4778ddc7d773erpluemRDF/ATC_RDF.der.hs
259878293a997ff49f5ddfc53d3739cbdc25444ecovenerRDF/ATC_RDF.hs
259878293a997ff49f5ddfc53d3739cbdc25444ecovenerRelationalScheme/AS.hs
259878293a997ff49f5ddfc53d3739cbdc25444ecovenerRelationalScheme/ATC_RelationalScheme.der.hs
259878293a997ff49f5ddfc53d3739cbdc25444ecovenerRelationalScheme/ATC_RelationalScheme.hs
15890c9306ba98f6fc243e15a3c4778ddc7d773erpluemSoftFOL/ATC_SoftFOL.der.hs
b54b024c06a19926832d77d40ba35ad8c41e4d3dminfrinSoftFOL/ATC_SoftFOL.hs
b54b024c06a19926832d77d40ba35ad8c41e4d3dminfrinSyntax/AS_Architecture.hs
b54b024c06a19926832d77d40ba35ad8c41e4d3dminfrinSyntax/AS_Library.hs
65967d05f839dbf27cf91d91fa79585eeae19660minfrinSyntax/AS_Structured.hs
65967d05f839dbf27cf91d91fa79585eeae19660minfrinTHF/ATC_THF.der.hs
65967d05f839dbf27cf91d91fa79585eeae19660minfrinTHF/ATC_THF.hs
65967d05f839dbf27cf91d91fa79585eeae19660minfrinTHF/As.hs
8152945ae46857b170cb227e79bb799f4fc7710dminfrinTemporal/ATC_Temporal.der.hs
8152945ae46857b170cb227e79bb799f4fc7710dminfrinTemporal/ATC_Temporal.hs
8152945ae46857b170cb227e79bb799f4fc7710dminfrinVSE/ATC_VSE.der.hs
8152945ae46857b170cb227e79bb799f4fc7710dminfrinVSE/ATC_VSE.hs
75f5c2db254c0167a0e396254460de09b775d203trawickutils/DrIFT
75f5c2db254c0167a0e396254460de09b775d203trawickutils/DtdToHaskell
75f5c2db254c0167a0e396254460de09b775d203trawickutils/DtdToHaskell-src/DtdToHaskell/
4f0358189bfa57b8e75bd6b94db264302a8f336amrumphutils/appendHaskellPreludeString
4f0358189bfa57b8e75bd6b94db264302a8f336amrumphutils/genRules
4f0358189bfa57b8e75bd6b94db264302a8f336amrumphHybrid/ATC_Hybrid.hs
5716f9c6daa92dde5f2f9d11ed63f7c9549c223atrawickTopHybrid/ATC_TopHybrid.hs
5716f9c6daa92dde5f2f9d11ed63f7c9549c223atrawickHybrid/AS_Hybrid.hs
5716f9c6daa92dde5f2f9d11ed63f7c9549c223atrawickHybrid/ATC_Hybrid.der.hs
5716f9c6daa92dde5f2f9d11ed63f7c9549c223atrawickTopHybrid/AS_TopHybrid.hs
54d750a84a175d8e338880514d440773eb986b50covenerTopHybrid/ATC_TopHybrid.der.hs
54d750a84a175d8e338880514d440773eb986b50covenerCSMOF/ATC_CSMOF.der.hs
54d750a84a175d8e338880514d440773eb986b50covenerCSMOF/ATC_CSMOF.hs
54d750a84a175d8e338880514d440773eb986b50covenerQVTR/ATC_QVTR.der.hs
54d750a84a175d8e338880514d440773eb986b50covenerQVTR/ATC_QVTR.hs
54d750a84a175d8e338880514d440773eb986b50covenertest/*/*.th
54d750a84a175d8e338880514d440773eb986b50covenertest/*/*.xml
54d750a84a175d8e338880514d440773eb986b50covener