.gitignore revision 4c7cb5671b356d873d67829ec8062a5083c1ee0e
f2472b79d241967fa28f8284470b1c5cafee7b12wrowe*~
bf52162f2d05c1fb1a107c7ef108de73f739b3edpquerna*.hi
84fbf855118f318dd5e511d8e5b902cecc1177c0jim*.o
84fbf855118f318dd5e511d8e5b902cecc1177c0jim*.dyn_hi
0ed19acadd3d3dd593759173d87d2243e97914e2sf*.dyn_o
0ed19acadd3d3dd593759173d87d2243e97914e2sf.*.swp
0ed19acadd3d3dd593759173d87d2243e97914e2sf.hets*
0ed19acadd3d3dd593759173d87d2243e97914e2sf*.bin
4cefc38158672f5de8119886d9754cf0609a9371minfrinhets
4cefc38158672f5de8119886d9754cf0609a9371minfrinhets_server
4cefc38158672f5de8119886d9754cf0609a9371minfrinhets.cgi
4cefc38158672f5de8119886d9754cf0609a9371minfrinrev.txt
4cefc38158672f5de8119886d9754cf0609a9371minfrin*.orig
11d3c510dca5b5178ad4739ffc1567ef2155bda9minfrin.stack-work/
11d3c510dca5b5178ad4739ffc1567ef2155bda9minfrindoc/*.aux
11d3c510dca5b5178ad4739ffc1567ef2155bda9minfrindoc/*.bbl
d974a1624c0bb4f1c2e8b36fcf8ba1f12284ed8dsfdoc/*.blg
d974a1624c0bb4f1c2e8b36fcf8ba1f12284ed8dsfdoc/*.fdb_latexmk
d974a1624c0bb4f1c2e8b36fcf8ba1f12284ed8dsfdoc/*.fls
1a8c329935111a5059363efe927d631371b78414minfrindoc/*.log
1a8c329935111a5059363efe927d631371b78414minfrindoc/*.out
fac37c9794a18c24d187f4e0f97a9476c4344118minfrindoc/UserGuide.pdf
fac37c9794a18c24d187f4e0f97a9476c4344118minfrindoc/hs2isa.ps
fac37c9794a18c24d187f4e0f97a9476c4344118minfrindocs/
fc58f0ff708564b67cd578c626b6500d1cd63a51sfprogramatica/
fc58f0ff708564b67cd578c626b6500d1cd63a51sfOWL2/*.jar
fc58f0ff708564b67cd578c626b6500d1cd63a51sfOWL2/java/build/
fc58f0ff708564b67cd578c626b6500d1cd63a51sfOWL2/java/tmp/
fc58f0ff708564b67cd578c626b6500d1cd63a51sfOWL2/lib/
fc58f0ff708564b67cd578c626b6500d1cd63a51sftmp/
4e5fe1d203ddf3956a77be3c797c01fd4be8b211sfdebian/changelog*
4e5fe1d203ddf3956a77be3c797c01fd4be8b211sfdebian/root
4e5fe1d203ddf3956a77be3c797c01fd4be8b211sfdebian/files
dcb4802d9ea9fc4ba89671e8f8faa70c9535b202minfrindebian/hets-*
dcb4802d9ea9fc4ba89671e8f8faa70c9535b202minfrindebian/tmp
dcb4802d9ea9fc4ba89671e8f8faa70c9535b202minfrinATC/AS_Annotation.der.hs
dcb4802d9ea9fc4ba89671e8f8faa70c9535b202minfrinATC/AS_Annotation.hs
dcb4802d9ea9fc4ba89671e8f8faa70c9535b202minfrinATC/AS_Architecture.der.hs
ce4dc40a4e87991087488f70d96d3447d7557294sfATC/AS_Architecture.hs
ce4dc40a4e87991087488f70d96d3447d7557294sfATC/AS_Library.der.hs
ce4dc40a4e87991087488f70d96d3447d7557294sfATC/AS_Library.hs
9db0b0ee6ffade769db57b37a06b3f4849b5d367minfrinATC/AS_Structured.der.hs
9db0b0ee6ffade769db57b37a06b3f4849b5d367minfrinATC/AS_Structured.hs
9db0b0ee6ffade769db57b37a06b3f4849b5d367minfrinATC/Consistency.der.hs
9db0b0ee6ffade769db57b37a06b3f4849b5d367minfrinATC/Consistency.hs
033d82412cc4af9d939b7e1645425b9e7f4ebf60minfrinATC/DefaultMorphism.der.hs
033d82412cc4af9d939b7e1645425b9e7f4ebf60minfrinATC/DefaultMorphism.hs
033d82412cc4af9d939b7e1645425b9e7f4ebf60minfrinATC/DevGraph.der.hs
033d82412cc4af9d939b7e1645425b9e7f4ebf60minfrinATC/DevGraph.hs
033d82412cc4af9d939b7e1645425b9e7f4ebf60minfrinATC/DgUtils.der.hs
1b390add6886fb1c0acdea82be0ef0920f1158casfATC/DgUtils.hs
1b390add6886fb1c0acdea82be0ef0920f1158casfATC/ExtSign.der.hs
1b390add6886fb1c0acdea82be0ef0920f1158casfATC/ExtSign.hs
5fd471ec540a088d143a223096d35661bf87c15btrawickATC/GlobalAnnotations.der.hs
5fd471ec540a088d143a223096d35661bf87c15btrawickATC/GlobalAnnotations.hs
5fd471ec540a088d143a223096d35661bf87c15btrawickATC/Graph.der.hs
f2472b79d241967fa28f8284470b1c5cafee7b12wroweATC/Graph.hs
f2472b79d241967fa28f8284470b1c5cafee7b12wroweATC/Grothendieck.hs
f2472b79d241967fa28f8284470b1c5cafee7b12wroweATC/IRI.der.hs
f2472b79d241967fa28f8284470b1c5cafee7b12wroweATC/IRI.hs
f2472b79d241967fa28f8284470b1c5cafee7b12wroweATC/Id.der.hs
f2472b79d241967fa28f8284470b1c5cafee7b12wroweATC/Id.hs
c9201c790435060b1322d86949183085ca5f6c0cwroweATC/LibName.der.hs
c9201c790435060b1322d86949183085ca5f6c0cwroweATC/LibName.hs
c9201c790435060b1322d86949183085ca5f6c0cwroweATC/OrderedMap.der.hs
c9201c790435060b1322d86949183085ca5f6c0cwroweATC/OrderedMap.hs
c9201c790435060b1322d86949183085ca5f6c0cwroweATC/ProofTree.der.hs
c9201c790435060b1322d86949183085ca5f6c0cwroweATC/ProofTree.hs
38bd9dba7627c6b2f331cd0731c272ee6bd876b1wroweATC/Prover.der.hs
38bd9dba7627c6b2f331cd0731c272ee6bd876b1wroweATC/Prover.hs
38bd9dba7627c6b2f331cd0731c272ee6bd876b1wroweATC/Result.der.hs
38bd9dba7627c6b2f331cd0731c272ee6bd876b1wroweATC/Result.hs
c1ba97f41a4526d84fb7a1596afe3dd11e065a2cminfrinATC/XGraph.der.hs
c1ba97f41a4526d84fb7a1596afe3dd11e065a2cminfrinATC/XGraph.hs
c1ba97f41a4526d84fb7a1596afe3dd11e065a2cminfrinAdl/ATC_Adl.der.hs
c1ba97f41a4526d84fb7a1596afe3dd11e065a2cminfrinAdl/ATC_Adl.hs
c1ba97f41a4526d84fb7a1596afe3dd11e065a2cminfrinCASL/AS_Basic_CASL.hs
97cc46935ec496b83fef9d6feb094d706c895b3bsfCASL/ATC_CASL.der.hs
4ed33a14c26d78bbe6bd0b9d5091cdb184e348basfCASL/ATC_CASL.hs
4ed33a14c26d78bbe6bd0b9d5091cdb184e348basfCASL_DL/AS_CASL_DL.hs
4ed33a14c26d78bbe6bd0b9d5091cdb184e348basfCASL_DL/ATC_CASL_DL.der.hs
97cc46935ec496b83fef9d6feb094d706c895b3bsfCASL_DL/ATC_CASL_DL.hs
72e3829dbd019a63b1091987fc6e7b1c028b089cminfrinCOL/AS_COL.hs
72e3829dbd019a63b1091987fc6e7b1c028b089cminfrinCOL/ATC_COL.der.hs
72e3829dbd019a63b1091987fc6e7b1c028b089cminfrinCOL/ATC_COL.hs
1081aff66582e2cac722fb3b6f09da4f524b5962minfrinCSL/ATC_CSL.der.hs
1081aff66582e2cac722fb3b6f09da4f524b5962minfrinCSL/ATC_CSL.hs
1081aff66582e2cac722fb3b6f09da4f524b5962minfrinCoCASL/AS_CoCASL.hs
1081aff66582e2cac722fb3b6f09da4f524b5962minfrinCoCASL/ATC_CoCASL.der.hs
9f0c32ae318f33c93a47d83f4709242c18339bbcminfrinCoCASL/ATC_CoCASL.hs
9f0c32ae318f33c93a47d83f4709242c18339bbcminfrinCommon/AS_Annotation.hs
9f0c32ae318f33c93a47d83f4709242c18339bbcminfrinCommonLogic/AS_CommonLogic.hs
9f0c32ae318f33c93a47d83f4709242c18339bbcminfrinCommonLogic/ATC_CommonLogic.der.hs
9474e446514b06765775eb0c1ec6645e2c5e50f6minfrinCommonLogic/ATC_CommonLogic.hs
9474e446514b06765775eb0c1ec6645e2c5e50f6minfrinConstraintCASL/ATC_ConstraintCASL.der.hs
9474e446514b06765775eb0c1ec6645e2c5e50f6minfrinConstraintCASL/ATC_ConstraintCASL.hs
9f0c32ae318f33c93a47d83f4709242c18339bbcminfrinCspCASL/AS_CspCASL.hs
b7557ab9828d2017224a12968f82c3118b6a8c0aminfrinCspCASL/AS_CspCASL_Process.hs
b7557ab9828d2017224a12968f82c3118b6a8c0aminfrinCspCASL/ATC_CspCASL.der.hs
b7557ab9828d2017224a12968f82c3118b6a8c0aminfrinCspCASL/ATC_CspCASL.hs
b7557ab9828d2017224a12968f82c3118b6a8c0aminfrinDFOL/ATC_DFOL.der.hs
b7557ab9828d2017224a12968f82c3118b6a8c0aminfrinDFOL/ATC_DFOL.hs
b7557ab9828d2017224a12968f82c3118b6a8c0aminfrinDriver/Version.hs
9474e446514b06765775eb0c1ec6645e2c5e50f6minfrinExtModal/AS_ExtModal.hs
9474e446514b06765775eb0c1ec6645e2c5e50f6minfrinExtModal/ATC_ExtModal.der.hs
9474e446514b06765775eb0c1ec6645e2c5e50f6minfrinExtModal/ATC_ExtModal.hs
b7557ab9828d2017224a12968f82c3118b6a8c0aminfrinFpl/ATC_Fpl.der.hs
e302f38fd646764ce1a1e1c578d794aef514a9e5sfFpl/ATC_Fpl.hs
e302f38fd646764ce1a1e1c578d794aef514a9e5sfFpl/As.hs
e302f38fd646764ce1a1e1c578d794aef514a9e5sfFramework/ATC_Framework.der.hs
b32d756dae79045a9bc90e0d0b85582f6f28eaf3sfFramework/ATC_Framework.hs
e302f38fd646764ce1a1e1c578d794aef514a9e5sfFreeCAD/ATC_FreeCAD.der.hs
9c233808c898095865fcc0a2dc1cf594d0d8faf3sfFreeCAD/ATC_FreeCAD.hs
9c233808c898095865fcc0a2dc1cf594d0d8faf3sfGUI/Glade/GenericATP.hs
3b41ccdaa163f4e900bbf8a7aa6a366df033822dminfrinGUI/Glade/LinkTypeChoice.hs
3b41ccdaa163f4e900bbf8a7aa6a366df033822dminfrinGUI/Glade/NodeChecker.hs
3b41ccdaa163f4e900bbf8a7aa6a366df033822dminfrinGUI/Glade/ProverGUI.hs
3b41ccdaa163f4e900bbf8a7aa6a366df033822dminfrinGUI/Glade/TextField.hs
3b41ccdaa163f4e900bbf8a7aa6a366df033822dminfrinGUI/Glade/Utils.hs
28587db43bc4bea96a36fbcffdd967e7b422bb97minfrinHasCASL/ATC_HasCASL.der.hs
28587db43bc4bea96a36fbcffdd967e7b422bb97minfrinHasCASL/ATC_HasCASL.hs
28587db43bc4bea96a36fbcffdd967e7b422bb97minfrinHaskell/ATC_Haskell.der.hs
28587db43bc4bea96a36fbcffdd967e7b422bb97minfrinHaskell/ATC_Haskell.hs
5a2dcc476c33985b7681aa72256bcd7266057eddsfHaskell/PreludeString.hs
5a2dcc476c33985b7681aa72256bcd7266057eddsfHaskell/TiATC.hs
5a2dcc476c33985b7681aa72256bcd7266057eddsfHaskell/TiDecorateATC.hs
e08076ca56e6cb68b30846b9e9339061058aae6dpoirierHaskell/TiPropATC.hs
e08076ca56e6cb68b30846b9e9339061058aae6dpoirierHolLight/ATC_HolLight.der.hs
e08076ca56e6cb68b30846b9e9339061058aae6dpoirierHolLight/ATC_HolLight.hs
e08076ca56e6cb68b30846b9e9339061058aae6dpoirierIsabelle/ATC_Isabelle.der.hs
e08076ca56e6cb68b30846b9e9339061058aae6dpoirierIsabelle/ATC_Isabelle.hs
e08076ca56e6cb68b30846b9e9339061058aae6dpoirierIsabelle/IsaExport.hs
e08076ca56e6cb68b30846b9e9339061058aae6dpoirierIsabelle/export/examples/*.isa
e08076ca56e6cb68b30846b9e9339061058aae6dpoirierIsabelle/export/examples/*.isa.pretty.xml
f3a19422957c2e9eb827c8e38e5982f678591aa5minfrinLF/ATC_LF.der.hs
b7a2f855b5e31abc24dab2eef28e9e2f985ae25brpluemLF/ATC_LF.hs
b7a2f855b5e31abc24dab2eef28e9e2f985ae25brpluemMaude/ATC_Maude.der.hs
fa1c7ce09927decc1eecd1e9a35cc5331078a052covenerMaude/ATC_Maude.hs
fa1c7ce09927decc1eecd1e9a35cc5331078a052covenerModal/AS_Modal.hs
fa1c7ce09927decc1eecd1e9a35cc5331078a052covenerModal/ATC_Modal.der.hs
84fbf855118f318dd5e511d8e5b902cecc1177c0jimModal/ATC_Modal.hs
ac45a43afbf38aa4a91c1402c6beef6ef8a2696dniqOMDoc/ATC_OMDoc.der.hs
ac45a43afbf38aa4a91c1402c6beef6ef8a2696dniqOMDoc/ATC_OMDoc.hs
ac45a43afbf38aa4a91c1402c6beef6ef8a2696dniqOWL2/ATC_OWL2.der.hs
ac45a43afbf38aa4a91c1402c6beef6ef8a2696dniqOWL2/ATC_OWL2.hs
4fda5fb4cc40703a76e261bbf21ec1d6b51b7d3fjimPropositional/AS_BASIC_Propositional.hs
4fda5fb4cc40703a76e261bbf21ec1d6b51b7d3fjimPropositional/ATC_Propositional.der.hs
fa0dc2a4f675a868378a52946e5b244d6bf41196sfPropositional/ATC_Propositional.hs
fa0dc2a4f675a868378a52946e5b244d6bf41196sfQBF/AS_BASIC_QBF.hs
0807f6da6091b748ab47c21ba66252fe8da2a966sfQBF/ATC_QBF.der.hs
0807f6da6091b748ab47c21ba66252fe8da2a966sfQBF/ATC_QBF.hs
0807f6da6091b748ab47c21ba66252fe8da2a966sfRDF/ATC_RDF.der.hs
b92a868b537899a51efd8c200c396fa51c63839dtrawickRDF/ATC_RDF.hs
b92a868b537899a51efd8c200c396fa51c63839dtrawickRelationalScheme/AS.hs
4fda5fb4cc40703a76e261bbf21ec1d6b51b7d3fjimRelationalScheme/ATC_RelationalScheme.der.hs
dc52cac281d8b311dc47d115ed979f923b667679rjungRelationalScheme/ATC_RelationalScheme.hs
dc52cac281d8b311dc47d115ed979f923b667679rjungSoftFOL/ATC_SoftFOL.der.hs
dc52cac281d8b311dc47d115ed979f923b667679rjungSoftFOL/ATC_SoftFOL.hs
2534e869d2ba209bd0c43717ea80992e6de0c51djimSyntax/AS_Architecture.hs
2534e869d2ba209bd0c43717ea80992e6de0c51djimSyntax/AS_Library.hs
f8033d657a57eab45af44368774d8beb3e4f7f35pquernaSyntax/AS_Structured.hs
f8033d657a57eab45af44368774d8beb3e4f7f35pquernaTHF/ATC_THF.der.hs
f8033d657a57eab45af44368774d8beb3e4f7f35pquernaTHF/ATC_THF.hs
f8033d657a57eab45af44368774d8beb3e4f7f35pquernaTHF/As.hs
02fd88c85a9850109753b87612955ad372de1575sfTemporal/ATC_Temporal.der.hs
02fd88c85a9850109753b87612955ad372de1575sfTemporal/ATC_Temporal.hs
02fd88c85a9850109753b87612955ad372de1575sfVSE/ATC_VSE.der.hs
da48ae521bcc2751f8eb8dfb02f7aab0f46943c6sfVSE/ATC_VSE.hs
da48ae521bcc2751f8eb8dfb02f7aab0f46943c6sfutils/DrIFT
da48ae521bcc2751f8eb8dfb02f7aab0f46943c6sfutils/DtdToHaskell
1374472d83ce061a431b7f6eeb5e5135fb4cd922jimutils/DtdToHaskell-src/DtdToHaskell/
1374472d83ce061a431b7f6eeb5e5135fb4cd922jimutils/appendHaskellPreludeString
1374472d83ce061a431b7f6eeb5e5135fb4cd922jimutils/genRules
1374472d83ce061a431b7f6eeb5e5135fb4cd922jimHybrid/ATC_Hybrid.hs
ab7a123efe997d907274eb672ab2b36746bb3f57sfTopHybrid/ATC_TopHybrid.hs
ab7a123efe997d907274eb672ab2b36746bb3f57sfHybrid/AS_Hybrid.hs
ab7a123efe997d907274eb672ab2b36746bb3f57sfHybrid/ATC_Hybrid.der.hs
ab7a123efe997d907274eb672ab2b36746bb3f57sfTopHybrid/AS_TopHybrid.hs
a44d29a3794110c558c940bd903a1930d717a7d7sfTopHybrid/ATC_TopHybrid.der.hs
a44d29a3794110c558c940bd903a1930d717a7d7sfCSMOF/ATC_CSMOF.der.hs
a44d29a3794110c558c940bd903a1930d717a7d7sfCSMOF/ATC_CSMOF.hs
a44d29a3794110c558c940bd903a1930d717a7d7sfQVTR/ATC_QVTR.der.hs
70003ce816d7851e49ecb0cdc5137becd647ed18niqQVTR/ATC_QVTR.hs
70003ce816d7851e49ecb0cdc5137becd647ed18niqtest/*/*.th
b5e45168970cefb8b2d0bea709ea69790f3eab96niqtest/*/*.xml
b5e45168970cefb8b2d0bea709ea69790f3eab96niq