History log of /hets/Driver/WriteFn.hs
Revision Date Author Comments Expand
649fdc0d0502d62d160c150684356fef2c273484 11-Feb-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

1811 provide graphql api (#1829) * Fixme (Remove 'True') - Add GraphQL starting point to the web server. * Add GraphQL Schema. * Experiment with the graphql-api package. * Remove the graphql-api package again. * Respond with GraphQL mimics. * Add types for GraphQL mimicking. * Add example queries. * Add proof of concept database fetching. * Add Signature query resolver. * Add SignatureMorphism query resolver. * Add missing key to result JSON. * Add Serialization resolver. * Split code for conversion and retrieval of data. * Fix indentation. * Add OMS query. * Add DGraph query. * Remove commit and document from example queries. * Remove GraphQLApi constructor again. * Save libenv to database via RESTful interface. * Fix line lengths * as library name, ensure a URL containing, in case of file://, an absolute file path * correction: urls should not be treated as file path * avoid re-reading for xmi and qvt; corrected computation of full filename * strip file:// prefix for OWL parser * strip file:// prefix for QVT parser * introduced utility function tryToStripPrefix * strip file:// when writing files

/hets/CSMOF/ParseXmiAsLibDefn.hs /hets/Common/Utils.hs Options.hs ReadFn.hs ReadLibDefn.hs WriteFn.hs WriteLibDefn.hs /hets/GUI/GtkProverGUI.hs /hets/Hets.cabal /hets/Interfaces/Utils.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Taxonomy.hs /hets/PGIP/GraphQL.hs /hets/PGIP/GraphQL/Resolver.hs /hets/PGIP/GraphQL/Resolver/DGraph.hs /hets/PGIP/GraphQL/Resolver/OMS.hs /hets/PGIP/GraphQL/Resolver/Serialization.hs /hets/PGIP/GraphQL/Resolver/Signature.hs /hets/PGIP/GraphQL/Resolver/SignatureMorphism.hs /hets/PGIP/GraphQL/Resolver/ToResult.hs /hets/PGIP/GraphQL/Result.hs /hets/PGIP/GraphQL/Result/Axiom.hs /hets/PGIP/GraphQL/Result/Conjecture.hs /hets/PGIP/GraphQL/Result/ConservativityStatus.hs /hets/PGIP/GraphQL/Result/DGraph.hs /hets/PGIP/GraphQL/Result/DocumentLink.hs /hets/PGIP/GraphQL/Result/FileRange.hs /hets/PGIP/GraphQL/Result/IdReference.hs /hets/PGIP/GraphQL/Result/Language.hs /hets/PGIP/GraphQL/Result/LanguageMapping.hs /hets/PGIP/GraphQL/Result/Library.hs /hets/PGIP/GraphQL/Result/LocIdReference.hs /hets/PGIP/GraphQL/Result/Logic.hs /hets/PGIP/GraphQL/Result/LogicMapping.hs /hets/PGIP/GraphQL/Result/Mapping.hs /hets/PGIP/GraphQL/Result/NativeDocument.hs /hets/PGIP/GraphQL/Result/OMS.hs /hets/PGIP/GraphQL/Result/OMSSimple.hs /hets/PGIP/GraphQL/Result/PremiseSelection.hs /hets/PGIP/GraphQL/Result/Reasoner.hs /hets/PGIP/GraphQL/Result/ReasonerConfiguration.hs /hets/PGIP/GraphQL/Result/ReasonerOutput.hs /hets/PGIP/GraphQL/Result/ReasoningAttempt.hs /hets/PGIP/GraphQL/Result/Sentence.hs /hets/PGIP/GraphQL/Result/Serialization.hs /hets/PGIP/GraphQL/Result/Signature.hs /hets/PGIP/GraphQL/Result/SignatureMorphism.hs /hets/PGIP/GraphQL/Result/StringReference.hs /hets/PGIP/GraphQL/Result/Symbol.hs /hets/PGIP/GraphQL/Result/SymbolMapping.hs /hets/PGIP/GraphQL/exampleQueries/dgraph.graphql /hets/PGIP/GraphQL/exampleQueries/oms.graphql /hets/PGIP/GraphQL/exampleQueries/serialization.graphql /hets/PGIP/GraphQL/exampleQueries/signature.graphql /hets/PGIP/GraphQL/exampleQueries/signatureMorphism.graphql /hets/PGIP/Server.hs /hets/PGIP/Shared.hs /hets/Persistence/DevGraph.hs /hets/Persistence/Schema.hs /hets/Persistence/Utils.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/Static/AnalysisLibrary.hs /hets/stack.yaml
a389e88e0acb83d8489bdc5e55bc5522b152bbec 05-Jan-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

[WIP] 1691 dg calculus on database (#1752) * Add database dependencies. * first experimental version of DB interface - just store DG names * also write dg nodes to db * hints for further programming * Connect to PostgreSQL databases using a Rails database.yml. * Move the schema to an own module. * mapping of Hets datatypes to DB * more explanation on index maps * Save the LogicGraph and Development Graph in the database. * Add config option for DB file. * Move dbConfig into HetcatsOpts, move migrations into onDatabase. * Save errors to the database. * Associate the data with a given file version. * Fix saving independent documents, non-signature symbols and remove debug prints. * Remove theoryMap from DBCache. * Fix names of Loc/Ids. * Drop unneeded database columns. * Save SignatureMorphisms and SymbolMappings. Major refactoring in Persistence.DevGraph. * Handle Library and NativeDocument properly. * Rename Range to FileRange because of constraints in Ontohub. * Use PostgreSQL Enums. * Rename Warning to Warn because of constraints in Ontohub. * Use proper location as Loc/Id. * Include persistent-fork into Hets repository as a git submodule. * Find the FileVersion of an import and save the Document accordingly. * Add advisoryLocked function. * Ignore the _dependencies directory. * Only save a Document if it does not yet exist. * Lock language migration and document saving. * Use mutex, write logic graph in ins own command Write logic graph: Since both commands, DG analysis and LG output need to write Logics to the database, we need the same mutex kex for these two tasks. This splits the LG output into its own command to allow for multiple processes to write analysis data at once. * Get the submodule via https. * Add readme for the persistence layer. * Fix findFileVersion function. * Fix export warning. * Find a FileVersion at the current commit instead of the previous version. * Make the symbolKind part of a symbol's Loc/Id. * Make concatMapM more generic. * Correctly associate symbols along heterogeneous links. * Set evaluationState of FileVersion. * Allow to omit the --database-fileversion-id option. * Simplify the travis configuration. * Add database job to travis. * Find FileVersion of the last change. * Fix dependency relation order. * Add MySQL support. * Add restack target to Makefile. * Add option to disallow migrations That means, PostgreSQL can be used without Ontohub. * Remove unused import. * Update Stack release and use persistent-template of the fork. * Make the existing columns in the schema MySQL compatible. * Work-around migration errors caused by class table inheritance. * Use PostgreSQL and MySQL in travis. * Use better job labels in Travis. * Possibly fix travis. * Add SQLite to Travis. * Add installation instructions. * Add DGVerificationGeneric constructor. * Rename ConsStatus to ConservativityStatus. * Add error handling. * Fix symbol's fullName. * Set Logic name to Language Name when there is no Logic name. * Do not print migrations. * Fix key length for MySQL. * Add namespace to Loc/Ids. * Add option for re-analysis. * Add a testfile. * Improve error messages. * Create the freeness parameter OMS. * Add failing testfiles. * Remove code duplication. * Temporarily remove failing test files - until #1655 and #1597 have been solved. * Try longer locId in MySQL. * Fix mapping type. * Add default implementation of symbolKind. * Add Indexes. * Quiet down PostgreSQL on CREATE INDEX IF NOT EXISTS. * Add PostgreSQL 9.6 to addons. * Allow Hets-database to run without ontohub. * Reduce column size for MySQL. * Move the database-specific dependencies into their own module. * Upgrade persistent (rebase on master). * Minimise the module exports on Database. * Upgrade stack.yml to new stack version. * Fix SQLite module. * WIP: Try System.Plugins. * Remove System.Plugins again. * Deactivate MySQL. * Remove System.Plugins from the dependencies. * Finalise db_mapping.txt * Update readme. * Don't use PostgreSQL for hets-desktop. * Use hets_server in Travis/PostgreSQL job. * Add PostgreSQL as a dependency to the server package. * Update some documentation. * Fix runtime dependencies. * Describe main db options in the UserGuide. * Add libpq5 to debian dependencies. * Clean the database.yml files and link them from the UserGuide.

/hets/.gitignore /hets/.gitmodules /hets/.travis.yml /hets/Common/LibName.hs /hets/Common/Utils.hs Options.hs ReadFn.hs WriteFn.hs /hets/Hets.cabal /hets/Makefile /hets/Persistence/DBConfig.hs /hets/Persistence/Database.hs /hets/Persistence/DatabaseConnection.hs /hets/Persistence/DevGraph.hs /hets/Persistence/DevGraph/Cleaning.hs /hets/Persistence/Diagnosis.hs /hets/Persistence/FileVersion.hs /hets/Persistence/LogicGraph.hs /hets/Persistence/MySQL.hs /hets/Persistence/PostgreSQL.hs /hets/Persistence/Range.hs /hets/Persistence/Readme.md /hets/Persistence/SQLite.hs /hets/Persistence/Schema.hs /hets/Persistence/Schema/ConjectureKindType.hs /hets/Persistence/Schema/Enums.hs /hets/Persistence/Schema/EvaluationStateType.hs /hets/Persistence/Schema/MappingOrigin.hs /hets/Persistence/Schema/MappingType.hs /hets/Persistence/Schema/OMSOrigin.hs /hets/Persistence/Schema/ReasoningStatusOnConjectureType.hs /hets/Persistence/Schema/ReasoningStatusOnReasoningAttemptType.hs /hets/Persistence/Schema/SentenceKindType.hs /hets/Persistence/Utils.hs /hets/Persistence/database_mysql.yml /hets/Persistence/database_postgresql.yml /hets/Persistence/db_mapping.txt /hets/README.md /hets/Static/ToJson.hs /hets/_dependencies/persistent /hets/debian/control /hets/doc/UserGuide.tex /hets/stack.yaml /hets/test/hets-lib-database-check.sh /hets/test/hets-lib-database-reset.sh /hets/test/hets-lib-database-testfiles
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7f 22-Aug-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Complete TPTP support (#1707) * Add option to print the AST in XML/JSON output. Turn it off by default. * Add abstract syntax of TPTP. * Add parens and brackets to Common.Lexer. * Add TPTP Parser. * Add TPTP Sign. * Add TPTP Morphism. * Add TPTP StaticAnalysis. * Fix IRI character parsing. * Add TPTP Pretty. * Add TPTP Logic. * Map the tptp and p file extension to the TPTP logic for input. * Add LibDefn parser for TPTP. * Write TPTP output. * Add EProver to TPTP. * Add TPTP Sublogics. * Add SPASS prover to TPTP. * Add Vampire prover to TPTP. * Add Darwin prover to TPTP. * Add Leo-II prover to TPTP. * Add Geo-III prover to TPTP - It does not support a timeout. * Add CVC4 prover to TPTP. * Add Isabelle prover to TPTP. * Make IRI compatible with TPTP library file names. * Revert "fail if names of sentences appear as names of symbols #1630" This is a combination of 3 commits: * Revert "check that the Result has no errors" This reverts commit 9542b929f3cfabf1491c3f0489acf92ba703968f. * Revert "better error message" This reverts commit a7ea46d4c76b11735234092d0a50efcbc56f9642. * Revert "fail if names of sentences appear as names of symbols" This reverts commit 2487bae09bf3aabc7085880aee616648fe5ca241. * Fix usage of magic file There were other (system) magic files invoked as well with a higher priority. Using the MAGIC environment variable instead of the argument --magic-file overrides this behaviour and only uses the specified magic file. * Fix magic file The escaping of "@" and "(" is not needed. The escaping of a trailing space in clif is needed. * Add TPTP to magic file. * Add Satallax prover to TPTP. * Properly check for http[s] URIs. * Allow file:// in libdirs. * Allow only one http[s] libdir - Parse the port correctly. * Fix all remaining parsing problems. * Move functions to debug the parser to a separate module. * Get rid of all TPTP related compiler warnings. * Move the type 'Morphism' to 'TPTP.Morphism'. * Rename: TPTP/Logic.hs -> TPTP/Logic_TPTP.hs * Implement all_sublogics. * Recognise negated_conjecture as a proof obligation.

/hets/.gitignore /hets/Common/DebugParser.hs /hets/Common/FileType.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/Lexer.hs /hets/Common/Utils.hs /hets/CommonLogic/Lexer_CLIF.hs /hets/Comorphisms/LogicList.hs /hets/CspCASL/Parse_CspCASL_Process.hs Options.hs ReadFn.hs ReadLibDefn.hs WriteFn.hs /hets/Hets.cabal /hets/Logic/Logic.hs /hets/Makefile /hets/PGIP/Output/Proof.hs /hets/PGIP/Server.hs /hets/SoftFOL/DFGParser.hs /hets/Static/AnalysisStructured.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/TPTP/AS.der.hs /hets/TPTP/Common.hs /hets/TPTP/Documents/TPTPSyntax.html /hets/TPTP/Logic_TPTP.hs /hets/TPTP/Morphism.hs /hets/TPTP/Morphism/Sentence.hs /hets/TPTP/ParseAsLibDefn.hs /hets/TPTP/Parser.hs /hets/TPTP/Pretty.hs /hets/TPTP/Prover/CVC4.hs /hets/TPTP/Prover/Common.hs /hets/TPTP/Prover/Darwin.hs /hets/TPTP/Prover/EProver.hs /hets/TPTP/Prover/EProver/ProofParser.hs /hets/TPTP/Prover/Geo3.hs /hets/TPTP/Prover/Isabelle.hs /hets/TPTP/Prover/Leo2.hs /hets/TPTP/Prover/ProofParser.hs /hets/TPTP/Prover/ProverState.hs /hets/TPTP/Prover/SPASS.hs /hets/TPTP/Prover/SPASS/ProofParser.hs /hets/TPTP/Prover/Satallax.hs /hets/TPTP/Prover/Vampire.hs /hets/TPTP/Prover/Vampire/ProofParser.hs /hets/TPTP/Sign.hs /hets/TPTP/StaticAnalysis.hs /hets/TPTP/Sublogic.hs /hets/magic/hets.magic
e9458b1a7a19a63aa4c179f9ab20f4d50681c168 25-Mar-2016 Jens Elkner <jel+git@iws.cs.uni-magdeburg.de>

applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename

/hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/Keywords.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ModelFormula.hs /hets/CASL/CompositionTable/ModelTable.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ParseTable2.hs /hets/CASL/CompositionTable/Pretty2.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Cycle.hs /hets/CASL/Disambiguate.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/World.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/ASUtils.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/AnEvenTool.hs /hets/CSL/Analysis.hs /hets/CSL/BoolBasic.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/DependencyGraph.hs /hets/CSL/EPElimination.hs /hets/CSL/EPRelation.hs /hets/CSL/EvalSpec.hs /hets/CSL/ExtendedParameter.hs /hets/CSL/Fold.hs /hets/CSL/GeneralExtendedParameter.hs /hets/CSL/GenericInterpreter.hs /hets/CSL/GuardedDependencies.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/InteractiveTests.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/MathematicaInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/Print_AS.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/SMTComparison.hs /hets/CSL/Sign.hs /hets/CSL/SimpleExtendedParameter.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CSL/TreePO.hs /hets/CSL/Verification.hs /hets/CSL/quickchecks.hs /hets/CSMOF/As.hs /hets/CSMOF/Logic_CSMOF.hs /hets/CSMOF/ParseXmiAsLibDefn.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CSMOF/StatAna.hs /hets/CSMOF/XMLKeywords.hs /hets/CSMOF/tests/Test_As.hs /hets/CSMOF/tests/Test_Logic.hs /hets/CSMOF/tests/Test_Parser.hs /hets/CSMOF/tests/Test_StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/AutoProofUtils.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/Data.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/FileType.hs /hets/Common/GlobalAnnotations.hs /hets/Common/GraphAlgo.hs /hets/Common/Http.hs /hets/Common/IO.hs /hets/Common/IOS.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Json.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lattice.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Maybe.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/Lib/Tabular.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/MathLink.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Percent.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SAX.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/Unlit.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlDiff.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/XmlPickler.hs /hets/Common/testxmldiff.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/ExpandCurie.hs /hets/CommonLogic/Lexer_CLIF.hs /hets/CommonLogic/Lexer_KIF.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/ModuleElimination.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/ParseCLAsLibDefn.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Parse_KIF.hs /hets/CommonLogic/PredefinedCASLAxioms.hs /hets/CommonLogic/Print_KIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Sublogic.hs /hets/CommonLogic/Symbol.hs /hets/CommonLogic/Tools.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2ExtModal.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CSMOF2CASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CommonLogic2IsabelleHOL.hs /hets/Comorphisms/CommonLogicModuleElimination.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/ExtModal2CASL.hs /hets/Comorphisms/ExtModal2ExtModalNoSubsorts.hs /hets/Comorphisms/ExtModal2ExtModalTotal.hs /hets/Comorphisms/ExtModal2HasCASL.hs /hets/Comorphisms/ExtModal2OWL.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HasCASL2THFP_P.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/HolLight2Isabelle.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2CommonLogic.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/QVTR2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SoftFOL2CommonLogic.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/THFP2THF0.hs /hets/Comorphisms/THFP_P2HasCASL.hs /hets/Comorphisms/THFP_P2THFP.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs AnaLib.hs Options.hs ReadFn.hs ReadLibDefn.hs WriteFn.hs WriteLibDefn.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModal2Ship.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Parse_AS.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/Ship.hs /hets/ExtModal/StatAna.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Logic_Fpl.hs /hets/Fpl/Morphism.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Cond.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAddSentence.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/InteractiveTests.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Logic_HolLight.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Hybrid/Keywords.hs /hets/Hybrid/Logic_Hybrid.hs /hets/Hybrid/Parse_AS.hs /hets/Hybrid/Print_AS.hs /hets/Hybrid/StatAna.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/KnownIris.hs /hets/Logic/LGToJson.hs /hets/Logic/LGToXml.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/ModalSystems.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlInterface.hs /hets/OWL2/AS.hs /hets/OWL2/CASL2OWL.hs /hets/OWL2/ColimSign.hs /hets/OWL2/ColonKeywords.hs /hets/OWL2/Conservativity.hs /hets/OWL2/CreateOWL.hs /hets/OWL2/DMU2OWL2.hs /hets/OWL2/Extract.hs /hets/OWL2/ExtractModule.hs /hets/OWL2/Function.hs /hets/OWL2/Keywords.hs /hets/OWL2/Logic_OWL2.hs /hets/OWL2/MS.hs /hets/OWL2/MS2Ship.hs /hets/OWL2/ManchesterParser.hs /hets/OWL2/ManchesterPrint.hs /hets/OWL2/Medusa.hs /hets/OWL2/MedusaToJson.hs /hets/OWL2/Morphism.hs /hets/OWL2/OWL22CASL.hs /hets/OWL2/OWL22CommonLogic.hs /hets/OWL2/Parse.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Print.hs /hets/OWL2/Profiles.hs /hets/OWL2/ProfilesAndSublogics.hs /hets/OWL2/Propositional2OWL2.hs /hets/OWL2/ProveFact.hs /hets/OWL2/ProvePellet.hs /hets/OWL2/ProverState.hs /hets/OWL2/Rename.hs /hets/OWL2/ShipSyntax.hs /hets/OWL2/Sign.hs /hets/OWL2/StaticAnalysis.hs /hets/OWL2/Sublogic.hs /hets/OWL2/Symbols.hs /hets/OWL2/Taxonomy.hs /hets/OWL2/Theorem.hs /hets/OWL2/Translate.hs /hets/OWL2/XML.hs /hets/OWL2/XMLConversion.hs /hets/OWL2/XMLKeywords.hs /hets/OWL2/scripts/runConv.hs /hets/OWL2/scripts/runManchester.hs /hets/OWL2/scripts/runXML.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/Query.hs /hets/PGIP/Server.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/QVTR/As.hs /hets/QVTR/Logic_QVTR.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/QVTR/Parser.hs /hets/QVTR/Print.hs /hets/QVTR/Sign.hs /hets/QVTR/StatAna.hs /hets/RDF/AS.hs /hets/RDF/Function.hs /hets/RDF/Logic_RDF.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/ParseRDFAsLibDefn.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/EProver.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/ParseTPTPAsLibDefn.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveMetis.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/StatAna.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGNavigation.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/XGraph.hs /hets/Static/XSimplePath.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/HasCASL2THF0Buildins.hs /hets/THF/Logic_THF.hs /hets/THF/ParseTHF.hs /hets/THF/Poly.hs /hets/THF/Print.hs /hets/THF/PrintTHF.hs /hets/THF/ProveIsabelle.hs /hets/THF/ProveLeoII.hs /hets/THF/ProveSatallax.hs /hets/THF/ProverState.hs /hets/THF/SZSProver.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.hs /hets/THF/Sublogic.hs /hets/THF/Translate.hs /hets/THF/Utils.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/Parse_AS.hs /hets/TopHybrid/Print_AS.hs /hets/TopHybrid/StatAna.hs /hets/TopHybrid/TopHybridSign.hs /hets/TopHybrid/Utilities.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/utils/itcor/GenItCorrections.hs
7af6ad49991a7f73b5d4233c89648a5a523f72bd 15-Mar-2016 Till Mossakowski <till@communtu.de>

avoid cyclic import
726baec6dfb69adb27f2afb4b2027fe5e7670c4a 02-Mar-2016 Till Mossakowski <till@communtu.de>

set up basic infrastructure for Medusa output
b33c310b053e6a4a48dc40e51ba56c50ac37d547 06-Nov-2014 notanartist <notanartist@outlook.com>

generate error message for any non-owl input types (not supported jet for owl-output except manchester syntax)
e5913b099c49fc59c889c5a216507acaee2cb9af 06-Nov-2014 notanartist <notanartist@outlook.com>

removed unused imports
7bf6fd9cf7a2649a7ec8c72e47ebc69855e3ca84 06-Nov-2014 notanartist <notanartist@outlook.com>

orig document is reloaded when storing OWL output types via the owl api. the file name parsing was also fixed..
e38219f3dd2f5711440478cbffa76ce3db530543 28-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

added json logic graph output
6e43eacac47d12b64c6a46ca4a6e975591276f82 22-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

add usability attribute of external tools to xml logic graph
8762d0e3d492aba4d1621fb0de685f0be1372864 01-Sep-2014 notanartist <notanartist@outlook.com>

removed DOL from OwlFormats, and added the original RDFIn-Out types in case .rdf file is not owl.
9e6789e67e329416d7f3acf0e7b8367b8dea991b 29-Aug-2014 notanartist <notanartist@outlook.com>

writing of owl files improved. still experimental
29bda77eb81294ac19df7f1fd0e322dff03cdad0 28-Aug-2014 notanartist <notanartist@outlook.com>

rdf output (-o rdf) will now actually have some output, and will generate .rdf file at the 'usual' location (i think it's the dir where the file has been read from)
190f316d57e8d02268dbd753d4256babcaa259b2 25-Aug-2014 notanartist <notanartist@outlook.com>

had error after faulty merge
8ddb1f6f0aa4eb1836867ba3dde21ac1ec79a58d 25-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

encode spec IRIs in output file names
ab2eda6997430fc16acdf5c7b188234b95e06ac4 25-Aug-2014 notanartist <notanartist@outlook.com>

keep temp files for debugging
5a4f61f810ca32f70a9a7cd1be73c8e5e3a83d20 25-Aug-2014 notanartist <notanartist@outlook.com>

experimental build-in writing functionality via the java parser. does not work when called as of now; the parser fails to read gTh from file in its current format
bbba10ee00dcf6bcbc9f22473b1acd0983b10512 25-Aug-2014 notanartist <notanartist@outlook.com>

added infrastructure to support any owl format for in- and output. functionality at the momemt is as-before. implementation for the formats will go as required; fst goal is rdf.xml.
c7d44bc923b7eb1a01abd095cd004030fee589ea 25-Aug-2014 notanartist <notanartist@outlook.com>

added more options to the java-parser. can set input and output filetype now. ..also added char-escape for omn output
f6d9d0e4c6a681672cdfd5f6886a12569a87cb65 25-Aug-2014 notanartist <notanartist@outlook.com>

keep temp files for debugging
fc969e97fa885f099bead91f0d791c4a90bedb37 20-Aug-2014 notanartist <notanartist@outlook.com>

experimental build-in writing functionality via the java parser. does not work when called as of now; the parser fails to read gTh from file in its current format
bfda2d14f172a668e5590942e7f90954dc587524 12-Aug-2014 notanartist <notanartist@outlook.com>

added infrastructure to support any owl format for in- and output. functionality at the momemt is as-before. implementation for the formats will go as required; fst goal is rdf.xml.
90f2701847982938e41a537c54b1ab3446124c52 12-Aug-2014 notanartist <notanartist@outlook.com>

added more options to the java-parser. can set input and output filetype now. ..also added char-escape for omn output
024703c9d1326c23e307c0b0d453ed3358e87fe4 05-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

add json output
50a3afe91cef447a03d579976c179dc266290c93 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

also use output directory when writing out the logic graph
034d9e2e9ada5aaa5665180720744d51166dacd4 17-Mar-2014 Christian Maeder <Christian.Maeder@dfki.de>

pass hets options to dev-graph xml output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18548 cec4b9c1-7d33-0410-9eda-942365e851bb
a7a43d265fef55ddfd7c4412cd96c621ef9738ff 13-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

reformated export list git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18483 cec4b9c1-7d33-0410-9eda-942365e851bb
11c3a215d5cf043181e83929f1ce214df65cb587 18-Dec-2013 Christian Maeder <Christian.Maeder@dfki.de>

show lib-ids without ankle brackets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18401 cec4b9c1-7d33-0410-9eda-942365e851bb
d4ebd9e5adc974cfa2bdf4bdd155e07be0e26f75 28-May-2013 Christian Maeder <Christian.Maeder@dfki.de>

added option full-signatures to xml output #1157 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17981 cec4b9c1-7d33-0410-9eda-942365e851bb
427ff3172ae2dfebe3c8fc972735158999997e8a 28-May-2013 Christian Maeder <Christian.Maeder@dfki.de>

added syms.xml output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17978 cec4b9c1-7d33-0410-9eda-942365e851bb
9175e29c044318498a40f323f189f9dfd50378ef 25-Mar-2013 Christian Maeder <Christian.Maeder@dfki.de>

let hets run without file arguments #1123 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17809 cec4b9c1-7d33-0410-9eda-942365e851bb
f527d5da7cd679c1a9b50a4906a0c12d395a6087 21-Mar-2013 Christian Maeder <Christian.Maeder@dfki.de>

implemented #1122 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17804 cec4b9c1-7d33-0410-9eda-942365e851bb
4cc271fa22221d0d20cf303553f86c4e3b1a56e4 07-Dec-2012 Christian Maeder <Christian.Maeder@dfki.de>

switched to better table2 data type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17679 cec4b9c1-7d33-0410-9eda-942365e851bb
d34c6711bc746459074986c06f7c28b083b4be2f 23-Nov-2012 Christian Maeder <Christian.Maeder@dfki.de>

changed lists to sets for #1084 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17625 cec4b9c1-7d33-0410-9eda-942365e851bb
feeab95fdf7ec92bcce607c104d9dc98e0e6ea90 08-Oct-2012 Soeren D. Schulze <soeren.d.schulze@gmx.de>

introduced new API for prefixes and applied this to CommonLogic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17489 cec4b9c1-7d33-0410-9eda-942365e851bb
4c872eeb600fe8479dbda395405cf13c3d573c24 22-Sep-2012 Soeren D. Schulze <soeren.d.schulze@gmx.de>

integrated KIF pretty printer git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17404 cec4b9c1-7d33-0410-9eda-942365e851bb
eaa88a5cefdc814e61039c5dcc1bffc324a2f93e 12-Sep-2012 Christian Maeder <Christian.Maeder@dfki.de>

also output untranslated theories with a warning git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17332 cec4b9c1-7d33-0410-9eda-942365e851bb
411588cc915b27cef4e7e66fb23e67514b3a0c92 28-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

support OWL Ship syntax output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17255 cec4b9c1-7d33-0410-9eda-942365e851bb
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 28-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

added syntax IRI to theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Grothendieck.der.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Utils.hs WriteFn.hs /hets/GUI/GraphLogic.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/Taxonomy.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/HolLight/HolLight2DG.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Maude/Maude2DG.hs /hets/Maude/PreComorphism.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OWL2/CreateOWL.hs /hets/PGIP/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/Local.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/VSE.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisStructured.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs
32607d06fe7826eb0711c19d348ee4e395f2577a 24-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

output .omn files for several logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17235 cec4b9c1-7d33-0410-9eda-942365e851bb
96ae1a1d2197d0e0d5b80da2474b64c456feb1b0 13-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

added counter example maximum git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17031 cec4b9c1-7d33-0410-9eda-942365e851bb
35cb254f1f46a6f33b5c24111a37fbab49d79cfe 25-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

allow selecting by simple name git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16975 cec4b9c1-7d33-0410-9eda-942365e851bb
57075b3ac70f37e55f72aa86aa1b70c6ccca8207 22-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

pretty print out parsed lisp content with -v4 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16968 cec4b9c1-7d33-0410-9eda-942365e851bb
c1168d10047d2c1394b82953158747775a9b4556 22-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

show sparQ parse error git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16960 cec4b9c1-7d33-0410-9eda-942365e851bb
1f9274bb2aa44ea236327814dce99946be52e348 14-Jun-2012 Felix Gabriel Mance <f.mance@jacobs-university.de>

readded RDF as logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16940 cec4b9c1-7d33-0410-9eda-942365e851bb
aad8b6ac810a08fca14ce0fbbf324fcce5305ad6 12-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

use IRI in commented out names of SoftFOL files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16910 cec4b9c1-7d33-0410-9eda-942365e851bb
074f8feaf71e0b71a95145e7439746f8eb8e2a7c 12-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

properly write Isabelle files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16909 cec4b9c1-7d33-0410-9eda-942365e851bb
52e573502bb19ca616ea63283d58ba73f39675d2 11-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

create proper/short file names from IRIs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16900 cec4b9c1-7d33-0410-9eda-942365e851bb
486db0a875bcdd0b80cf0d447d14c9c00a92ae94 25-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

show all dgsymbols as xml for symbols-link git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16832 cec4b9c1-7d33-0410-9eda-942365e851bb
ea8e98e298f33f9362293f392c8fb192722b8904 30-Mar-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Changed Simple-ID to IRI on Library-, Structure- and Architecture-level git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Sml_cats.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CMDL/DgCommands.hs /hets/Common/IRI.hs /hets/Common/Keywords.hs /hets/Common/LibName.hs /hets/CommonLogic/ParseCLAsLibDefn.hs WriteFn.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/HolLight/HolLight2DG.hs /hets/LF/Twelf2DG.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Maude/Maude2DG.hs /hets/OMDoc/Import.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/DGFlattening.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/test/ParameterSpecTest/ParamView.xml
a7b34c1a61dabe150288424d90389d5988bf9d7a 27-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

added node name to symbols git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16749 cec4b9c1-7d33-0410-9eda-942365e851bb
bb9642ff292545658dc11251b83a7b7af3c1fccb 19-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

add direct imports #1012 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16735 cec4b9c1-7d33-0410-9eda-942365e851bb
961978c71545e0177683279f8b63358b3e3804b8 12-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

#1007 for CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16718 cec4b9c1-7d33-0410-9eda-942365e851bb
734257b9ea9fcaa18d4e3627f54f5295a99aa1f7 11-Mar-2012 Felix Gabriel Mance <f.mance@jacobs-university.de>

changed RDF abstract syntax git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16701 cec4b9c1-7d33-0410-9eda-942365e851bb
c30231257d9116b514dce02703a515fe21cd427d 08-Mar-2012 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

command line option for #1007 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16694 cec4b9c1-7d33-0410-9eda-942365e851bb
8e537a087207fb2ea9073ea66776c36b821a58c6 07-Feb-2012 Christian Maeder <Christian.Maeder@dfki.de>

import forget git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16652 cec4b9c1-7d33-0410-9eda-942365e851bb
e4f0eaffd002e9e553ee113be33f9aa6e4181c43 06-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow compilation without rdf4h git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16524 cec4b9c1-7d33-0410-9eda-942365e851bb
c4076ff1721f8901a30e4b7aa004479ecb2631e0 06-Dec-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

added instances for rdf git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16521 cec4b9c1-7d33-0410-9eda-942365e851bb
3ec3a22fe2b9c38a3575c98a82b4e3f988af64a6 13-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added clif export git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16282 cec4b9c1-7d33-0410-9eda-942365e851bb
88e08f20c80fea4b7892bbb5e70c5002f7c1da18 19-Sep-2011 Christian Maeder <Christian.Maeder@dfki.de>

joined variants git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16141 cec4b9c1-7d33-0410-9eda-942365e851bb
308834907a120fd8771e18292ed2ca9cd767c12d 25-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

removed OWL1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16026 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/DMU2OWL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/OWL2CommonLogic.hs ReadFn.hs WriteFn.hs /hets/Makefile /hets/OWL.hs /hets/OWL/AS.hs /hets/OWL/AnalysisNotes.txt /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/ColonKeywords.list /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Keywords.list /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ProverState.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/OWL/doc/README_pellet_de.txt /hets/OWL/doc/README_pellet_en.txt /hets/OWL/doc/owl-casl-doc_en.tex /hets/OWL/java/Makefile /hets/OWL/java/README.txt /hets/OWL/java/build.xml /hets/OWL/java/de/unibremen/informatik/Fact/Fact.java /hets/OWL/java/de/unibremen/informatik/FactProver/FactProver.java /hets/OWL/java/de/unibremen/informatik/FactProver/Prove.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/ATermFunc.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWL2ATerm.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermFormat.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermObjectRenderer.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermRenderer.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermStorer.java /hets/OWL/java/de/unibremen/informatik/locality/LocalityChecker.java /hets/OWL/java/lib/FaCTpp-OWLAPI-v1.4.0.1.jar /hets/OWL/java/lib/native/i686/libFaCTPlusPlusJNI.so /hets/OWL/java/lib/native/x86_64/libFaCTPlusPlusJNI.so /hets/OWL/java/testStuff/ontoTestV2.java /hets/OWL/java/testStuff/ontoTestV3.java /hets/OWL/java/testStuff/photography.owl /hets/OWL/output.tmp /hets/OWL/tests/ActorDefault.owl /hets/OWL/tests/AnnoTestProLite.owl /hets/OWL/tests/BravoAirGrounding.owl /hets/OWL/tests/BravoAirGrounding.wsdl /hets/OWL/tests/BravoAirProcess.owl /hets/OWL/tests/BravoAirProfile.owl /hets/OWL/tests/BravoAirService.owl /hets/OWL/tests/Concepts.owl /hets/OWL/tests/CongoGrounding.owl /hets/OWL/tests/CongoGrounding.wsdl /hets/OWL/tests/CongoProcess.owl /hets/OWL/tests/CongoProfile.owl /hets/OWL/tests/CongoService.owl /hets/OWL/tests/Country.owl /hets/OWL/tests/Expression.owl /hets/OWL/tests/Grounding.owl /hets/OWL/tests/Makefile /hets/OWL/tests/ObjectList.owl /hets/OWL/tests/Process.owl /hets/OWL/tests/Profile.owl /hets/OWL/tests/ProfileAdditionalParameters.owl /hets/OWL/tests/ProfileHierarchy.owl /hets/OWL/tests/Service.owl /hets/OWL/tests/Test2.owl /hets/OWL/tests/beer.owl /hets/OWL/tests/family.owl /hets/OWL/tests/pizza.owl /hets/OWL/tests/replaceLinks.sh /hets/OWL/tests/run.sh /hets/OWL/tests/test1.xml /hets/OWL/tests/test3.owl /hets/OWL/tests/time-entry.owl /hets/OWL/tests/wine.rdf /hets/OWL/tests/wine.xml /hets/hets.hs
21dbca247d5964daf2c5abd2de2ac1101e3e1ef4 13-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

also output OWL1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15544 cec4b9c1-7d33-0410-9eda-942365e851bb
928291e1beb4df5ec1f595188b64eab7c2adbb80 01-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

cleaning printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15428 cec4b9c1-7d33-0410-9eda-942365e851bb
9b6a888fced92090f2f3d60f551b8bf38bf2eecb 24-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

switched omn output to OWL2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15291 cec4b9c1-7d33-0410-9eda-942365e851bb
53a3042e1da2253fd3f103bfef4deb47fc0bf6a6 17-Jun-2011 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

added a freecad writer to hets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15176 cec4b9c1-7d33-0410-9eda-942365e851bb
d864f0a0e04e61b5f87963496765eafcf646ed7b 01-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

output lib-name in dg-xml git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15049 cec4b9c1-7d33-0410-9eda-942365e851bb
4d54e7814b18ce142359c92a5868e6dcff9219b5 17-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

added urls to dot graphs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14728 cec4b9c1-7d33-0410-9eda-942365e851bb
520c5bce318eff52d9315f7c4491c3381a0c4336 08-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

use given encoding for writing files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14504 cec4b9c1-7d33-0410-9eda-942365e851bb
a43c1a7fa08c12524415386aa13a566cc9e53a4f 03-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

add filepath to xml output #887 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14284 cec4b9c1-7d33-0410-9eda-942365e851bb
180ab8c3df8cb0c88f0e881bca93354df6b5d560 05-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

make view output logic independent git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14196 cec4b9c1-7d33-0410-9eda-942365e851bb
ef4c609cebc5260771dae6e4f3a54a8959e81ed9 01-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

write morphism to file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14182 cec4b9c1-7d33-0410-9eda-942365e851bb
411392046c2ba1752cde81eaa92a95a2c28b672d 01-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

output OWL morphisms differently for #871 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14181 cec4b9c1-7d33-0410-9eda-942365e851bb
00df6fd583c19393fa141d5a0e21ac74c7bf5b19 01-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

added an option to display the gmorphism of a view git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14180 cec4b9c1-7d33-0410-9eda-942365e851bb
9b3aefff51492156e8e7f7f6a57986dac35a55fc 22-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

adjusted dot output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14089 cec4b9c1-7d33-0410-9eda-942365e851bb
bdeddba30d29f413af1e1ae6b6bab275c017bd98 01-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

added code to integrate change management #725 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13961 cec4b9c1-7d33-0410-9eda-942365e851bb
98890889ffb2e8f6f722b00e265a211f13b5a861 01-Sep-2010 Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de>

Added see license.txt to license field git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC.hs /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/ExtSign.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL/fromKif.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Comorphism_specs/makePreludeString.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedGlobalAnnos.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Analysis.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/ReduceTest.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CoCASL.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/IO.hs /hets/Common/IOS.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToId.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/UniUtils.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/annos.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Symbol.hs /hets/Comorphisms.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DMU2OWL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/OWL2CommonLogic.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/Constraints/AS_BASIC_Constraints.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs AnaLib.hs Options.hs ReadFn.hs WriteFn.hs WriteLibDefn.hs /hets/ExtModal.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/ExtModalSystems.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Con.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GMP/SegExamples.hs /hets/GMP/versioning/coloss-0.0.4/Combination.hs /hets/GMP/versioning/coloss-0.0.4/Generic.hs /hets/GMP/versioning/coloss-0.0.4/examples.coalition.hs /hets/GMP/versioning/coloss-0.0.4/examples.gluings.hs /hets/GMP/versioning/coloss-0.0.4/examples.gml.hs /hets/GMP/versioning/coloss-0.0.4/examples.hml.hs /hets/GMP/versioning/coloss-0.0.4/examples.pml.hs /hets/GMP/versioning/coloss-0.0.4/examples.segala.hs /hets/GMP/versioning/coloss-0.0.4/gg.head.hs /hets/GMP/versioning/coloss-0.0.4/gg.tmpl.hs /hets/GMP/versioning/coloss-0.0.4/gg.util.hs /hets/GMP/versioning/gmp-0.0.1/GMP/CoalitionL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPAS.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPSAT.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GenericML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GradedML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Lexer.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Main.hs /hets/GMP/versioning/gmp-0.0.1/GMP/MajorityL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalK.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalKD.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalLogic.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/IneqSolvTester.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/LWBParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/TestGenGML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/ToRacer.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompAS.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompGeneric.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Main.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/C.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/CKCM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Con.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/DisjUnion.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/G.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/HM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/K.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/KD.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Mon.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/P.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/SysS.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Prover.hs /hets/GMP/versioning/gmp-coloss-0.0.3/Main.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/Glade/Template.append.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Base64.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Container.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/Import.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Sentences.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OMDoc/XmlInterface.hs /hets/OWL/AS.hs /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/PathifyNames.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Search/CASL/FormulaWrapper.hs /hets/Search/CASL/NormalizationDB.hs /hets/Search/CASL/Retrieval.hs /hets/Search/Common/ACINormalization.hs /hets/Search/Common/ACStandardization.hs /hets/Search/Common/BooleanRing.hs /hets/Search/Common/CNF.hs /hets/Search/Common/Data.hs /hets/Search/Common/Intersection.hs /hets/Search/Common/Normalization.hs /hets/Search/Common/Select.hs /hets/Search/Config.hs /hets/Search/DB/Connection.hs /hets/Search/DB/DBSpec.hs /hets/Search/DB/Export.hs /hets/Search/DB/FormulaDB.hs /hets/Search/DB/FormulaDB/Inclusion.hs /hets/Search/DB/FormulaDB/Profile.hs /hets/Search/DB/FormulaDB/Statistics.hs /hets/Search/DB/MPTP.hs /hets/Search/DB/MPTP/Inclusion.hs /hets/Search/DB/MPTP/Profile.hs /hets/Search/DB/MPTP/Statistics.hs /hets/Search/SPASS/DB.hs /hets/Search/SPASS/DFGParser.hs /hets/Search/SPASS/FormulaWrapper.hs /hets/Search/SPASS/InterActiveTesting.hs /hets/Search/SPASS/Intersection.hs /hets/Search/SPASS/ReusedTheorems.hs /hets/Search/SPASS/Sign.hs /hets/Search/SPASS/UnWrap.hs /hets/Search/Utils/List.hs /hets/Search/Utils/ListSet.hs /hets/Search/Utils/SetMap.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/dfg.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tptp.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/Test.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/childProcessTest.hs /hets/utils/DrIFT-src/ChaseImports.hs /hets/utils/DrIFT-src/CommandP.hs /hets/utils/DrIFT-src/DataP.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/DrIFT-src/RuleUtils.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/ExtInlineAxioms.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Setup.hs /hets/utils/appendHaskellPreludeString.hs /hets/utils/createKeywordDecls.hs /hets/utils/itcor/GenItCorrections.hs
b87efd3db0d2dc41615ea28669faf80fc1b48d56 11-Aug-2010 Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de>

Changed haddock headers and inserted empty headers for the ones missing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC.hs /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/ExtSign.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL/fromKif.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Comorphism_specs/makePreludeString.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedGlobalAnnos.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Analysis.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CoCASL.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/IO.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToId.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/UniUtils.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/annos.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Symbol.hs /hets/Comorphisms.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DMU2OWL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/OWL2CommonLogic.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/Constraints/AS_BASIC_Constraints.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs AnaLib.hs Options.hs ReadFn.hs WriteFn.hs WriteLibDefn.hs /hets/ExtModal.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/ExtModalSystems.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Con.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GMP/SegExamples.hs /hets/GMP/versioning/coloss-0.0.4/Combination.hs /hets/GMP/versioning/coloss-0.0.4/Generic.hs /hets/GMP/versioning/coloss-0.0.4/examples.coalition.hs /hets/GMP/versioning/coloss-0.0.4/examples.gluings.hs /hets/GMP/versioning/coloss-0.0.4/examples.gml.hs /hets/GMP/versioning/coloss-0.0.4/examples.hml.hs /hets/GMP/versioning/coloss-0.0.4/examples.pml.hs /hets/GMP/versioning/coloss-0.0.4/examples.segala.hs /hets/GMP/versioning/coloss-0.0.4/gg.head.hs /hets/GMP/versioning/coloss-0.0.4/gg.tmpl.hs /hets/GMP/versioning/coloss-0.0.4/gg.util.hs /hets/GMP/versioning/gmp-0.0.1/GMP/CoalitionL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPAS.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPSAT.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GenericML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GradedML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Lexer.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Main.hs /hets/GMP/versioning/gmp-0.0.1/GMP/MajorityL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalK.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalKD.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalLogic.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/IneqSolvTester.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/LWBParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/TestGenGML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/ToRacer.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompAS.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompGeneric.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Main.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/C.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/CKCM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Con.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/DisjUnion.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/G.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/HM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/K.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/KD.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Mon.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/P.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/SysS.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Prover.hs /hets/GMP/versioning/gmp-coloss-0.0.3/Main.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/Glade/Template.append.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/ProgramaticaPrelude.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/test/HOL/Map2.hs /hets/Haskell/test/HOL/ex_class.hs /hets/Haskell/test/HOL/ex_let.hs /hets/Haskell/test/HOL/ex_list.hs /hets/Haskell/test/HOL/mrec.hs /hets/Haskell/test/HOL/mrec3.hs /hets/Haskell/test/HOL/wcard.hs /hets/Haskell/test/HOLCF/PPrel.hs /hets/Haskell/test/HOLCF/ex_fibon.hs /hets/Haskell/test/HOLCF/ex_mutrec.hs /hets/Haskell/test/HOLCF/incmpl.hs /hets/Haskell/wrap.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/Isabelle.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Base64.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Container.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/Import.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Sentences.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OMDoc/XmlInterface.hs /hets/OWL/AS.hs /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/PathifyNames.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Search/CASL/FormulaWrapper.hs /hets/Search/CASL/NormalizationDB.hs /hets/Search/CASL/Retrieval.hs /hets/Search/Common/ACINormalization.hs /hets/Search/Common/ACStandardization.hs /hets/Search/Common/BooleanRing.hs /hets/Search/Common/CNF.hs /hets/Search/Common/Data.hs /hets/Search/Common/Intersection.hs /hets/Search/Common/Normalization.hs /hets/Search/Common/Select.hs /hets/Search/Config.hs /hets/Search/DB/Connection.hs /hets/Search/DB/DBSpec.hs /hets/Search/DB/Export.hs /hets/Search/DB/FormulaDB.hs /hets/Search/DB/FormulaDB/Inclusion.hs /hets/Search/DB/FormulaDB/Profile.hs /hets/Search/DB/FormulaDB/Statistics.hs /hets/Search/DB/MPTP.hs /hets/Search/DB/MPTP/Inclusion.hs /hets/Search/DB/MPTP/Profile.hs /hets/Search/DB/MPTP/Statistics.hs /hets/Search/SPASS/DB.hs /hets/Search/SPASS/DFGParser.hs /hets/Search/SPASS/FormulaWrapper.hs /hets/Search/SPASS/InterActiveTesting.hs /hets/Search/SPASS/Intersection.hs /hets/Search/SPASS/ReusedTheorems.hs /hets/Search/SPASS/Sign.hs /hets/Search/SPASS/UnWrap.hs /hets/Search/Utils/List.hs /hets/Search/Utils/ListSet.hs /hets/Search/Utils/SetMap.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/dfg.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tptp.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/Test.hs /hets/ToHaskell/test/BoolEx.hascasl.hs /hets/ToHaskell/test/Builtin.hascasl.hs /hets/ToHaskell/test/Expr.hascasl.hs /hets/ToHaskell/test/FiniteSet.hascasl.hs /hets/ToHaskell/test/Foldl.hascasl.hs /hets/ToHaskell/test/ListEx.hascasl.hs /hets/ToHaskell/test/NatEx.hascasl.hs /hets/ToHaskell/test/OpDecls.hascasl.hs /hets/ToHaskell/test/Pair.hascasl.hs /hets/ToHaskell/test/PatternEq.hascasl.hs /hets/ToHaskell/test/Sorting.hascasl.hs /hets/ToHaskell/test/Test.hascasl.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/Map.hs /hets/test/childProcessTest.hs /hets/utils/DrIFT-src/ChaseImports.hs /hets/utils/DrIFT-src/CommandP.hs /hets/utils/DrIFT-src/DataP.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/DrIFT-src/RuleUtils.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/ExtInlineAxioms.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Setup.hs /hets/utils/appendHaskellPreludeString.hs /hets/utils/createKeywordDecls.hs /hets/utils/itcor/GenItCorrections.hs
1937dccb04b363364f7a7de17fdaae1d70583af9 15-Jul-2010 Christian Maeder <Christian.Maeder@dfki.de>

refactored global theory results git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13718 cec4b9c1-7d33-0410-9eda-942365e851bb
aa5986b28217b40d59a3418e6492946268066961 02-Jun-2010 Christian Maeder <Christian.Maeder@dfki.de>

removed unused imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13496 cec4b9c1-7d33-0410-9eda-942365e851bb
938677803842b384a91fef21f58f86b8e3188b43 02-Jun-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

removed useless pathification and experimental entry, fixed writeVerbFiles, added relative path computation to Utils and added outdir support to the omdoc export git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13478 cec4b9c1-7d33-0410-9eda-942365e851bb
5ca1fe655d7d4e35e59a082b5955b306643329d0 01-Jun-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

removed hxtfilter from Hets and fixing uris and output directories for the omdoc interface git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13477 cec4b9c1-7d33-0410-9eda-942365e851bb
72079df98b3cb7cc1fd82a0a24984893dcd05eca 01-Jun-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

removed the hook for the old omdoc interface and hooked the new interface to the omdoc suffix, added the bytestring dependency to the hexpat flag git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13474 cec4b9c1-7d33-0410-9eda-942365e851bb
bdf2e01977470bedcb4425e2dadabc9e9f6ba149 16-Apr-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

replaced the result type of sym_of in Logic by List of set of symbol. See also revision 13301 for the previous change. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13348 cec4b9c1-7d33-0410-9eda-942365e851bb
955fa80b5038b97c2bc4336409ea5ea3d03ebfcf 14-Apr-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

added method for writing a list of libraries to files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13330 cec4b9c1-7d33-0410-9eda-942365e851bb
63da71bfb4226f504944b293fb77177ebcaea7d4 16-Mar-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

hooked in the OMDoc import function, corrected the output of adts and subsort relations in CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13236 cec4b9c1-7d33-0410-9eda-942365e851bb
0850c3e5fb6285405ebaeb5aa433985203ac892d 12-Mar-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

changed the omdoc logic interface, added mapping datatypes to omdoc, added utility function for writing multiple files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13218 cec4b9c1-7d33-0410-9eda-942365e851bb
ba7903578ca168160ed411ef534fa95c5cddf8f0 15-Feb-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

pathify doesn't need an interface in Logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13072 cec4b9c1-7d33-0410-9eda-942365e851bb
5f2c34b8971f9ca7e63364b69e167851d001168e 26-Jan-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

added Result type to the omdoc export git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13006 cec4b9c1-7d33-0410-9eda-942365e851bb
bc263f610d20a9cd3014ddfca903026127fa0d48 13-Jan-2010 Christian Maeder <Christian.Maeder@dfki.de>

made proper flags for dg xml output after automatic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12978 cec4b9c1-7d33-0410-9eda-942365e851bb
fb37a248ebad4696bbc9d9b94ce1cfc6497a9160 04-Nov-2009 Christian Maeder <Christian.Maeder@dfki.de>

check for duplicate def edges git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12780 cec4b9c1-7d33-0410-9eda-942365e851bb
b47b34ad26c061320d08bc909d7ec7a08dc32881 15-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

also output reference nodes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12651 cec4b9c1-7d33-0410-9eda-942365e851bb
ec25781c1180ea07f66b48c34f93cf5634e9277c 07-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

moved ComputeTheory to folder Static git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12587 cec4b9c1-7d33-0410-9eda-942365e851bb
e6ac593966607b1da5b619e0f9492d37820eed74 25-Sep-2009 Christian Maeder <Christian.Maeder@dfki.de>

create a matching theory name for unamed libraries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12520 cec4b9c1-7d33-0410-9eda-942365e851bb
e49fd57c63845c7806860a9736ad09f6d44dbaed 23-Sep-2009 Christian Maeder <Christian.Maeder@dfki.de>

refactored, camel cased, library names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12493 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Sml_cats.hs /hets/CASL/OMDoc.hs /hets/CASL/Qualify.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DgCommands.hs /hets/CMDL/ProveConsistency.hs /hets/Common/LibName.hs AnaLib.hs ReadFn.hs WriteFn.hs WriteLibDefn.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/hets_cgi.hs /hets/Haskell/Haskell2DG.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/Logic/Logic.hs /hets/Maude/Maude2DG.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/Sentences.hs /hets/OWL/OWLAnalysis.hs /hets/Omega/Export.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/ComputeTheory.hs /hets/Proofs/Conservativity.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisLibrary.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/ToXml.hs /hets/VSE/ToSExpr.hs
2665d7759e63acff0bcd4135678f2cc6f2041d46 21-Sep-2009 Christian Maeder <Christian.Maeder@dfki.de>

switched from OPTIONS to LANGUAGE pragma git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12478 cec4b9c1-7d33-0410-9eda-942365e851bb
863c98ae89e37c21c0c04b9b130b5136688976ee 31-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

produced finer DG xml git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12369 cec4b9c1-7d33-0410-9eda-942365e851bb
46b207daf66b64930a59f3615c8b127aac0b8e43 26-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

started implementing #729 (XML for DGs) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12298 cec4b9c1-7d33-0410-9eda-942365e851bb
b030615029df0cdac0e103d39bf865409e5133f8 07-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed commented out code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12051 cec4b9c1-7d33-0410-9eda-942365e851bb
7ebcceae3d34771cae3bbb8c8060bef0b894376e 07-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

adjusted documentation wrt printing conjectures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12050 cec4b9c1-7d33-0410-9eda-942365e851bb
53e165a53dfa59f717588d1f8236c9a763826525 07-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

do not convert theorems to axioms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12049 cec4b9c1-7d33-0410-9eda-942365e851bb
706201451843aa76b8d862de800570c9838c9910 06-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

followed hlint suggestions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12038 cec4b9c1-7d33-0410-9eda-942365e851bb
9e9e018cefd6a9a242a93af959369dc7aa8f8526 05-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

use xml rather than HaXml git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12034 cec4b9c1-7d33-0410-9eda-942365e851bb
1780ec6fd307212ae6834d85ae6b5d38e059c444 20-Jul-2009 Christian Maeder <Christian.Maeder@dfki.de>

splitted ComputeTheory from TheoremHideShift git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11976 cec4b9c1-7d33-0410-9eda-942365e851bb
ef2affdc0cdf3acd5c051597c04ab9b08a346a7d 15-Jul-2009 Christian Maeder <Christian.Maeder@dfki.de>

reused genericity signatures in spec entries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11931 cec4b9c1-7d33-0410-9eda-942365e851bb
0002f35c81ef5e9beff063919b143a0d77944b49 16-Jun-2009 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

exp changed to omdoc-export git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11800 cec4b9c1-7d33-0410-9eda-942365e851bb
c99faa256f0f009609a83e2bf5ac67679c2c48c2 04-Jun-2009 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

exp is now connected to the omega-export git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11784 cec4b9c1-7d33-0410-9eda-942365e851bb
6c08e47c4275556c18f4f89521bf21fe94c28dd5 18-Mar-2009 Christian Maeder <Christian.Maeder@dfki.de>

refactored or reverted computeTheory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11544 cec4b9c1-7d33-0410-9eda-942365e851bb
537fd3025770215ef72807c5f37cc8740b74299d 13-Mar-2009 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

omdoc devgraph export hooked in under exp git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11515 cec4b9c1-7d33-0410-9eda-942365e851bb
c5910518e27568335f4b340cfeff2759d67a203b 04-Mar-2009 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

adapted experimental output, going now over writeVerbFile git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11487 cec4b9c1-7d33-0410-9eda-942365e851bb
f6328b89068f460f1cb176749af4bfe1114975fe 04-Mar-2009 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

composed name qualifying with experimental omdoc export git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11480 cec4b9c1-7d33-0410-9eda-942365e851bb
f8cc2399c16fcda7e3bf9d901a0de0cc8a455f86 03-Mar-2009 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

added new outputtype for experimental stuff and hooked in the experimental omdoc output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11473 cec4b9c1-7d33-0410-9eda-942365e851bb
f6b2c6c33c635279973b8f378470da7dbb8ecee8 10-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

show all diagnostics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11379 cec4b9c1-7d33-0410-9eda-942365e851bb
4c6617c9df37d1cabd09c5640e5e0fdf0573690f 25-Nov-2008 Christian Maeder <Christian.Maeder@dfki.de>

fixed ticket #620 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11081 cec4b9c1-7d33-0410-9eda-942365e851bb
ce900a84ed9d9882c64fccbd6300f6b0d67efa82 25-Nov-2008 Christian Maeder <Christian.Maeder@dfki.de>

only dump once in writeSpecFiles git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11079 cec4b9c1-7d33-0410-9eda-942365e851bb
ec351e60425e2f99448cb44e933d3828f8025ddd 24-Nov-2008 Christian Maeder <Christian.Maeder@dfki.de>

reparse owl file when writing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11073 cec4b9c1-7d33-0410-9eda-942365e851bb
56440c7ae61e7277a3494452d0165ee52e677b29 07-Nov-2008 Christian Maeder <Christian.Maeder@dfki.de>

write out owl file for: -o owl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10967 cec4b9c1-7d33-0410-9eda-942365e851bb
fe4e6766a6e51cca3f8cc9632c25936af147d8b9 20-Oct-2008 Christian Maeder <Christian.Maeder@dfki.de>

added SHELLAC and HXTFILTER dependencies git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10846 cec4b9c1-7d33-0410-9eda-942365e851bb
d5fe06af711a6912ae028ebf873eada4ee8733f8 23-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

replaced umlaut in Luettich git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10718 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Sml_cats.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/Logic_CASL.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/Utils.hs /hets/CASL_DL/Sign.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Diff.hs /hets/Common/ATerm/Lib.hs /hets/Common/ATerm/ReadWrite.hs /hets/Common/ATerm/Unshared.hs /hets/Common/AnalyseAnnos.hs /hets/Common/Anno_Parser.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/LaTeX_maps.svmono.hs /hets/Common/Lib/Pretty.hs /hets/Common/OrderedMap.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofUtils.hs /hets/Common/SimpPretty.hs /hets/Common/Taxonomy.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs ReadFn.hs WriteFn.hs WriteLibDefn.hs /hets/GUI/GenericATP.hs /hets/GUI/GenericATPState.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProofManagement.hs /hets/GUI/Taxonomy.hs /hets/GUI/hets_cgi.hs /hets/Logic/Prover.hs /hets/OWL/Logic_OWL11.hs /hets/OWL/StructureAnalysis.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/InferBasic.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/Translate.hs /hets/Static/DotGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs
4c8d3c5a9e938633f6147b5a595b9b93bfca99e6 23-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

separated HetCASL and LibEnv related parts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10717 cec4b9c1-7d33-0410-9eda-942365e851bb
697e63e30aa3c309a1ef1f9357745111f8dfc5a9 22-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

separated library names from HetCASL libraries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10708 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Sml_cats.hs /hets/Common/LibName.hs ReadFn.hs WriteFn.hs /hets/GUI/DGTranslation.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphTypes.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/Haskell/Haskell2DG.hs /hets/Makefile /hets/OMDoc/CASLOutput.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/Sentences.hs /hets/OWL/OWLAnalysis.hs /hets/PGIP/ConsCommands.hs /hets/PGIP/DataTypes.hs /hets/PGIP/DgCommands.hs /hets/PGIP/ProveConsistency.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisLibrary.hs /hets/Static/DGFlattening.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Print_AS_Library.hs /hets/Test.hs
5382091fd2a705e6f026026e8a6adcd3607bdb9f 18-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

white spaces only git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10691 cec4b9c1-7d33-0410-9eda-942365e851bb
154be5bfac61cf5b61fd1571e7bfc2572c4b546a 03-Sep-2008 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

handle restricted constraints separately git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10647 cec4b9c1-7d33-0410-9eda-942365e851bb
62d5dbbceb675837039e6bad0971c324cce96a21 27-Aug-2008 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

added restricted constraints as VSE sentences git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10595 cec4b9c1-7d33-0410-9eda-942365e851bb
25662bf82f592e3268fddcc2c86e83c203b82e53 26-Aug-2008 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

used when and unless git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10587 cec4b9c1-7d33-0410-9eda-942365e851bb
36a493b7eec0f9d719674296c26afe7fd9bfe327 12-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

create s-expr without Result monad git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10491 cec4b9c1-7d33-0410-9eda-942365e851bb
7fe976d9f9c4af1aa7636c568d9919859523de0a 18-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

also convert signatures to S-exprs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10363 cec4b9c1-7d33-0410-9eda-942365e851bb
21489db35f79507a68ee6e6926e01b8e8ea60c6b 18-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

convert named sentences to S-expressions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10360 cec4b9c1-7d33-0410-9eda-942365e851bb
38824a7dba4f7d82532afec67e0b594a5af5d76b 17-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

first translation to S-Expressions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10355 cec4b9c1-7d33-0410-9eda-942365e851bb
7294adef84ced43038a704d24e7640f71610d193 27-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

revert to old computeTheory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10219 cec4b9c1-7d33-0410-9eda-942365e851bb
82cb6feb596ba77e49423735eca8d58be3cc7527 25-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

changed computeTheory call git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10190 cec4b9c1-7d33-0410-9eda-942365e851bb
038fc609b1d0dfe9698c4cab26fc7db2225820ef 23-Jun-2008 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

introduced flag for computeTheory to use normal forms just when possible git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10179 cec4b9c1-7d33-0410-9eda-942365e851bb
36f69d35e01d2d6b6bdc165b49661f2a80af8687 11-Jun-2008 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

computeTheory and theoremHideShift changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10088 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/LogicGraph.hs WriteFn.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/Logic/Grothendieck.hs /hets/Logic/Modification.hs /hets/Maude/Morphism.hs /hets/OWL/PrintRDF.hs /hets/OWL/ProvePellet.hs /hets/OWL/StaticAnalysis.hs /hets/PGIP/Commands.hs /hets/PGIP/ConsCommands.hs /hets/PGIP/DataTypesUtils.hs /hets/PGIP/DgCommands.hs /hets/PGIP/ProveConsistency.hs /hets/PGIP/Shell.hs /hets/PGIP/UndoRedo.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/DGFlattening.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Static/WACocone.hs
d27d203b3f42f0e0ecea00e3f19f55f66045bd96 17-Apr-2008 Christian Maeder <Christian.Maeder@dfki.de>

totalized printing and reparsed tptp files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9934 cec4b9c1-7d33-0410-9eda-942365e851bb
795114606fde20e909387c27e848b4754ec79013 19-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

allow to dump (parts of) the logic graph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9802 cec4b9c1-7d33-0410-9eda-942365e851bb
34bc490dec9f3c600fff0c6fd8f027ec97fbeee4 19-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

deleted trailing whitespace git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9789 cec4b9c1-7d33-0410-9eda-942365e851bb
bbd9ff47b93f02c2cb2f101b074da02a2f683fe3 19-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

handle proof history (replay, undo, redo) for global rules and automatic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9788 cec4b9c1-7d33-0410-9eda-942365e851bb
63719301448519453f66383f4e583d9fd5b89ecb 18-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

changed writing files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9780 cec4b9c1-7d33-0410-9eda-942365e851bb
e90d90d9363711dbdf9e5461474aeb85fd2d1871 12-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

moved pretty printing to PrintDevGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9746 cec4b9c1-7d33-0410-9eda-942365e851bb
b68a352fddb62ae9dfd48d71b8dbef1e00ba40a2 11-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

modified dump git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9742 cec4b9c1-7d33-0410-9eda-942365e851bb
bbba6dd86153aacb0f662b182b128df0eb09fd54 11-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

added a flexible dump option git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9740 cec4b9c1-7d33-0410-9eda-942365e851bb
8865728716566f42fa73e7e0bc080ba3225df764 11-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

removed unimplemented output formats git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9739 cec4b9c1-7d33-0410-9eda-942365e851bb
c8a9d35be2207e0d4fbd26a2411e1ba17e3e4c96 07-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

separated data types and XML generation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9722 cec4b9c1-7d33-0410-9eda-942365e851bb
b4d51ce3a34a074859f5f34cf430307f5963f912 07-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

HaXml is not longer part of uni git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9717 cec4b9c1-7d33-0410-9eda-942365e851bb
7688e20f844fe88f75c04016841ebb5e5e3d927f 04-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

replaced tuples by proper data types, renamed NODE_NAME to NodeName git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9685 cec4b9c1-7d33-0410-9eda-942365e851bb
d3720ba517d582ba9eeed603fe3bd015ac02ab8e 03-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

use envSuffix git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9676 cec4b9c1-7d33-0410-9eda-942365e851bb
efb44558d78b59ea6ce8c16cb5eb1ac0a2604c84 23-Feb-2008 Christian Maeder <Christian.Maeder@dfki.de>

generate a legal simple Id git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9616 cec4b9c1-7d33-0410-9eda-942365e851bb
3143271856dbf456bd7acc1c07193173f886d986 22-Feb-2008 Christian Maeder <Christian.Maeder@dfki.de>

allow printing theories of all nodes (#449) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9607 cec4b9c1-7d33-0410-9eda-942365e851bb
5efed683fd173e9d53bd5f1929ba5b0c8a228710 11-Feb-2008 Christian Maeder <Christian.Maeder@dfki.de>

used labDG instead of safeContextDG git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9542 cec4b9c1-7d33-0410-9eda-942365e851bb
f9e0b18852b238ddb649d341194e05d7200d1bbe 29-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

extended signatures are already needed during logic specific static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9093 cec4b9c1-7d33-0410-9eda-942365e851bb
1bc5dccbf0083a620ae1181c717fea75e4af5e5c 18-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

added extended signatures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9060 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Grothendieck.hs WriteFn.hs /hets/GUI/DGTranslation.hs /hets/GUI/GraphLogic.hs /hets/GUI/ProofManagement.hs /hets/GUI/Taxonomy.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Isabelle/CreateTheories.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Makefile /hets/OMDoc/OMDocInput.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/PGIP/InfoCommands.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/InferBasic.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/GTheory.hs
08d506ebb78da1e8656a73a349492e042f4c9f72 07-Sep-2007 Christian Maeder <Christian.Maeder@dfki.de>

added reparsing of dfg files and added trace message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8811 cec4b9c1-7d33-0410-9eda-942365e851bb
b085709d4b69dc84724000b7b917f348edfa932e 28-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

moved cpp directives git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8728 cec4b9c1-7d33-0410-9eda-942365e851bb
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5 15-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

made a separate module for G_theory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8618 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/DevGraph.der.hs /hets/ATC/Grothendieck.hs WriteFn.hs /hets/GUI/ConsistencyChecker.hs /hets/GUI/DGTranslation.hs /hets/GUI/GenericATP.hs /hets/GUI/GenericATPState.hs /hets/GUI/GraphLogic.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProofDetails.hs /hets/GUI/ProofManagement.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/Taxonomy.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Isabelle/CreateTheories.hs /hets/Makefile /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/StructureAna.hs /hets/PGIP/CMDLShell.hs /hets/PGIP/CMDLState.hs /hets/PGIP/CMDLUtils.hs /hets/PGIP/DgCommands.hs /hets/PGIP/InfoCommands.hs /hets/PGIP/ProveCommands.hs /hets/Proofs/AbstractState.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/TheoremHideShift.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/CheckGlobalContext.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/GTheory.hs /hets/Static/PrintDevGraph.hs /hets/Test.hs
ab9b86500ed66416e1a7c01be54491ed72c7d633 15-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

write out isabelle theories for every theorem if -o prf,thy and at least -v3 is given git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8616 cec4b9c1-7d33-0410-9eda-942365e851bb
4067eba4f5605d9569d78085deb1a27f08ac34e2 14-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

restructured writing files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8612 cec4b9c1-7d33-0410-9eda-942365e851bb
10d4ba2cf1730c68947490a6471648a81c3dc264 14-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

change layout at sparQ git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8610 cec4b9c1-7d33-0410-9eda-942365e851bb
807d5fddaa5dd8924321c73400fcf875a9ed9a9c 14-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

libdir is not needed for printing Isabelle theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8606 cec4b9c1-7d33-0410-9eda-942365e851bb
e987f6f058c28f3a30d9edfd26345e2841ea7dc4 13-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

write out theorems git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8598 cec4b9c1-7d33-0410-9eda-942365e851bb
3447c1e95850c17a7949e674deb7fbde25f09e5f 31-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

accidental removal of dot git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8521 cec4b9c1-7d33-0410-9eda-942365e851bb
1954518162694c2ef8e0e1263283dd3c75e9ca72 31-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

removed tabs, changed utf-8 to latin-1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8518 cec4b9c1-7d33-0410-9eda-942365e851bb
2afae0880da7ca73c9376fd4d653ab19833fe858 23-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

replaced GlobalContext by DGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8454 cec4b9c1-7d33-0410-9eda-942365e851bb
3f69b6948966979163bdfe8331c38833d5d90ecd 05-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed my maintainer email git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/DevGraph.der.hs /hets/ATC/Grothendieck.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/ToDoc.hs /hets/CASL/capa.hs /hets/CASL/fromKif.hs /hets/CoCASL.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Lib.hs /hets/Common/ATerm/ReadWrite.hs /hets/Common/ATerm/Unshared.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/CaslLanguage.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Keywords.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/State.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/ToId.hs /hets/Common/Token.hs /hets/Common/Trace.hs /hets/Common/annos.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2SubCFOL.inline.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/OWL_DL2CASL.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/ConstraintCASL/Parse_AS_Basic.hs Options.hs WriteFn.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/ShowGraph.hs /hets/GUI/Utils.hs /hets/HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Hatchet/Docs.hs /hets/Haskell/Hatchet/FiniteMaps.hs /hets/Haskell/Hatchet/TIHetsModule.hs /hets/Haskell/Hatchet/TIPhase.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/Modal.hs /hets/OWL_DL/ReadWrite.der.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/ADoc.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/hets.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/appendHaskellPreludeString.hs
b76d27eba526ecac2a20400fa505ec5c642ae7d2 02-Jul-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

Added support to write tptp directly git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8215 cec4b9c1-7d33-0410-9eda-942365e851bb
f04e8f3ff56405901be968fd4c6e9769239f1a9b 26-Jun-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

Renamed almost all files with SPASS into SoftFOL. Only SoftFOL/Logic_SPASS remains. It will be updated very soon. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8150 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2SoftFOL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs WriteFn.hs /hets/Makefile /hets/Propositional/Prop2CNF.hs /hets/Propositional/TestProp2CNF.hs /hets/SoftFOL.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SPASS.hs /hets/SoftFOL/MathServCommunication.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/Prove.hs /hets/SoftFOL/ProveHelp.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/Utils.hs /hets/SoftFOL/doc/Generic_aufgabe.tex /hets/SoftFOL/tests/CMDL_tests.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/SPASSTest.het /hets/SoftFOL/tests/SPASSTest.hpf /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tests/asym.tptp /hets/SoftFOL/tests/check.sh /hets/SoftFOL/tests/checkMathServe.pl /hets/SoftFOL/tests/soapTest.hs
edd35c6c970fa1707dc6ad7a3ba26119e0046223 30-May-2007 Cui Jian <ken@informatik.uni-bremen.de>

step one of abstraction of DGraph, see ticket 269 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7947 cec4b9c1-7d33-0410-9eda-942365e851bb
2dcec0e101ddd4169f5323462911e988337c2dee 11-May-2007 Christian Maeder <Christian.Maeder@dfki.de>

analyse indices of global context with -v5 -o th git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7890 cec4b9c1-7d33-0410-9eda-942365e851bb
3986813db69106b9bb1b62faa77532af42512a0c 02-May-2007 Christian Maeder <Christian.Maeder@dfki.de>

newer HaXml package needed anyway git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7862 cec4b9c1-7d33-0410-9eda-942365e851bb
48a98aa04f4c2c1f5f8f79c007e1ff95e699b31a 04-Apr-2007 Florian Mossakowski <fmossa@web.de>

usage of ModelChecker for modelSparQ option implemented git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7800 cec4b9c1-7d33-0410-9eda-942365e851bb
234a4acce6c4f1cd802f9a1ad24c6a465d4bb6fc 26-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

only computeTheory for corresponding file types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7537 cec4b9c1-7d33-0410-9eda-942365e851bb
ad270004874ce1d0697fb30d7309f180553bb315 21-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

switched to Data.Set, Data.Map and Data.Dynamic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/ATCTest2.hs /hets/ATC/DevGraph.der.hs /hets/ATC/Grothendieck.hs /hets/ATC/Set.hs /hets/ATC/Sml_cats.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Kif2CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/Taxonomy.hs /hets/CASL/Utils.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/COL/COLSign.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/StatAna.hs /hets/Common.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/ReadWrite.hs /hets/Common/AnalyseAnnos.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/InjMap.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/LaTeX_maps.svmono.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/Set.hs /hets/Common/OrderedMap.hs /hets/Common/Prec.hs /hets/Common/ProofUtils.hs /hets/Common/ToId.hs /hets/Common/Utils.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2SPASS.hs /hets/Comorphisms/CASL2SubCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CspCASL2IsabelleHOL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/StatAnaCSP.hs ReadFn.hs WriteFn.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/DGTranslation.hs /hets/GUI/GenericATP.hs /hets/GUI/GenericATPState.hs /hets/GUI/PrintUtils.hs /hets/GUI/ProofManagement.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/Le.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Makefile /hets/Modal/ModalSign.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/OMDoc/Container.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/HetsInterface.hs /hets/OMDoc/Integrate.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Namespace.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/Print.hs /hets/OWL_DL/ReadWrite.der.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/StaticAna.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/PGIP/Common.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/GUIState.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Propositional/Morphism.hs /hets/SPASS/Conversions.hs /hets/SPASS/Sign.hs /hets/SPASS/Translate.hs /hets/SPASS/tests/CMDL_tests.hs /hets/SPASS/tests/GUI_tests.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Static/test/Main.hs /hets/Static/test/TestDGTrans.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Test.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Omdoc/HetsDataTypes.hs /hets/utils/Omdoc/HetsInterface.hs /hets/utils/Omdoc/Integrate.hs /hets/utils/itcor/GenItCorrections.hs
e6d40133bc9f858308654afb1262b8b483ec5922 01-Jan-2007 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

added Description header git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/Utils.hs /hets/Common/AS_Annotation.der.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/Set.hs /hets/Common/Lib/State.hs /hets/Common/OrderedMap.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofUtils.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Taxonomy.hs /hets/Common/Token.hs /hets/Common/Trace.hs /hets/Common/Utils.hs Options.hs ReadFn.hs WriteFn.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/PGIP/Command_Parser.hs /hets/PGIP/Commands.hs /hets/PGIP/Common.hs /hets/PGIP/Utils.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs
e24d81c69aecd41abb2f4969519c9e7126b1d687 15-Dec-2006 Christian Maeder <Christian.Maeder@dfki.de>

added indices to G_sign, GMorphism, G_morphism und G_theory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7264 cec4b9c1-7d33-0410-9eda-942365e851bb
e786574801c772175aaced9e28f00eeb8c279920 06-Nov-2006 Christian Maeder <Christian.Maeder@dfki.de>

relaxed UNI_PACKAGE dependency git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7129 cec4b9c1-7d33-0410-9eda-942365e851bb
d81905a5b924415c524d702df26204683c82c12e 12-Oct-2006 Christian Maeder <Christian.Maeder@dfki.de>

added option for modelSparQ git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7048 cec4b9c1-7d33-0410-9eda-942365e851bb
0b73fd9cab131c1b25b542007c98b5f8717b1d36 14-Aug-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

* imporoved develpoment graphs in GraphViz/dot format * added output option for expanded development graph in dot format (extension .graph.exp.dot; shows names for internal nodes) * slight code improvements in Static.DevGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6815 cec4b9c1-7d33-0410-9eda-942365e851bb
4cd978f7cad8579ed812ebb7a089dd5d5e6b525b 19-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

refined printTheory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6690 cec4b9c1-7d33-0410-9eda-942365e851bb
e2f0f3fe5b21965caef3978eb648ba972abfdfa8 17-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

omit referenced nodes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6671 cec4b9c1-7d33-0410-9eda-942365e851bb
875bba59f1d2ae102148ab089ccd6d00b5efa7e5 06-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

removed unused imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6625 cec4b9c1-7d33-0410-9eda-942365e851bb
47d6bc7bc9a708427f96be8d805f712697ad3d9e 30-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

phased out PPUtils, used showDoc for showPretty, and moved instances and utilities to DocUtils git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6552 cec4b9c1-7d33-0410-9eda-942365e851bb
28bec3c11488588bcc3c8eae6996c8d9dbe582bd 29-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

removed old latex printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6541 cec4b9c1-7d33-0410-9eda-942365e851bb
91a356d176c7e9b4eef6e8734559bfb858d5e630 26-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

switched to new doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6520 cec4b9c1-7d33-0410-9eda-942365e851bb
f3a6a96ee93adc9eb36acf6afbd73ece7e779ded 21-Jun-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

* moved genSPASSProblem from SPASS.Print to SPASS.Conversions * in SPASS.CreateDFGDoc renamed printDFG to printTheoryAsDFG * Driver.WriteFn uses SPASS.CreateDFGDoc.printTheoryAsDFG * SPASS.ProverState and SPASS.Prove use now SPASS.PrintDFG git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6472 cec4b9c1-7d33-0410-9eda-942365e851bb
01dc01f32f5d42ae1d2b5515c5e4bb97f47d7c0c 18-Jun-2006 Hendrik Iben <hiben@informatik.uni-bremen.de>

changed omdoc interface function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6457 cec4b9c1-7d33-0410-9eda-942365e851bb
c0604b5bde7fc31b268f9ea24e79c029c8c5d82f 23-May-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

improved an error message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6376 cec4b9c1-7d33-0410-9eda-942365e851bb
ae35311385999d91f812155fe99439724d54063b 19-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

write the thy file even after reparse errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6362 cec4b9c1-7d33-0410-9eda-942365e851bb
cb4574a302dda93c7ac97e880280f46783ff297d 17-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

don't print a void translation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6336 cec4b9c1-7d33-0410-9eda-942365e851bb
78e7910c3360f74f1db172d63d20bb07c64e56e3 16-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

translate specs before writing out git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6327 cec4b9c1-7d33-0410-9eda-942365e851bb
6d797de98c443b8949a248ac53c6e20ee87de404 25-Apr-2006 Christian Maeder <Christian.Maeder@dfki.de>

output .graph.dot files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6254 cec4b9c1-7d33-0410-9eda-942365e851bb
7e828434af28f94f7e27524575844ce3a44df45d 19-Apr-2006 Christian Maeder <Christian.Maeder@dfki.de>

show diagnostics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6211 cec4b9c1-7d33-0410-9eda-942365e851bb
937ad7a0f64e679fd3f06d763937667a47bdbf00 29-Mar-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

added printing of sublogic for verbosity &gt;= 4 and improved SPASS error message. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6130 cec4b9c1-7d33-0410-9eda-942365e851bb
34393039c300e992fa92261e4bb362c6ce5b600b 22-Mar-2006 Hendrik Iben <hiben@informatik.uni-bremen.de>

using generated filename for omdoc, recursion works git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6097 cec4b9c1-7d33-0410-9eda-942365e851bb
26851c9b86b3ffb3043981b25057292f9e3602c8 22-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

missing dot before file extension git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6094 cec4b9c1-7d33-0410-9eda-942365e851bb
865ae561becd3cb451d6280125886b3e03ddf0a4 21-Mar-2006 Hendrik Iben <hiben@informatik.uni-bremen.de>

added non-recursive omdoc output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6084 cec4b9c1-7d33-0410-9eda-942365e851bb
596a8e9039bd2f42c09cc0da4a57c8073f96fbdd 20-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

create Haskell output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6077 cec4b9c1-7d33-0410-9eda-942365e851bb
e7e3cca7d7c0afb9a5e56ae004a8fa661ce6073c 20-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

provided support for omdoc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6067 cec4b9c1-7d33-0410-9eda-942365e851bb
00cc35c28abca1e35864cc0fca0d55761a8647f8 20-Mar-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

Corrected output of dfg.c,dfg and thy (and ComptableXml) such that theorems are output as axioms now. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6065 cec4b9c1-7d33-0410-9eda-942365e851bb
add408dd9d1f792ed3606410f5eede2dd4180614 14-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

use output dir for output files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5995 cec4b9c1-7d33-0410-9eda-942365e851bb
9ec13d5d1b125101ce0964fe79cfb6c226a6a0bf 28-Feb-2006 Christian Maeder <Christian.Maeder@dfki.de>

avoid .env.pp.het files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5880 cec4b9c1-7d33-0410-9eda-942365e851bb
0e7407d270da049e0b19b3b737996c5577b4970c 28-Feb-2006 Christian Maeder <Christian.Maeder@dfki.de>

removed shadowing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5874 cec4b9c1-7d33-0410-9eda-942365e851bb
8a5c05062ef501bf725a86a370a5145a198e81fd 24-Feb-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

major changes * added option for writing a SPASS-file with "false" as conjecture for checking the consistency * refactored SPASS logic to avoid code duplication minor things * changed maintainence of some files from 'rwagner' to 'luettich' git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5871 cec4b9c1-7d33-0410-9eda-942365e851bb
b83ff3749d99d03b641adee264b781039a551add 17-Feb-2006 Christian Maeder <Christian.Maeder@dfki.de>

also store LIB-DEFN in .env files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5844 cec4b9c1-7d33-0410-9eda-942365e851bb
f0eb47a1c9a5eff66911524130dcf327de641c95 10-Feb-2006 Christian Maeder <Christian.Maeder@dfki.de>

made -o ast.het show the abstract syntax git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5798 cec4b9c1-7d33-0410-9eda-942365e851bb
daec53c285f692c56db0cefe16061b46ba602cf0 26-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

display proved graph after .prf file was written and do not write .prf when .prf is read in git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5715 cec4b9c1-7d33-0410-9eda-942365e851bb
04d04d19fdd5320953c78ad5b6d2d11f85bc4bcf 17-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

removed type synonyms ProofStatus and LibNode git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5654 cec4b9c1-7d33-0410-9eda-942365e851bb
a081d56252673c9e4a017e6282f59766f0cbcd42 16-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

store libname with .env and .prf files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5648 cec4b9c1-7d33-0410-9eda-942365e851bb
333780eae2be9f20fe46dedbf5eb46ffa0cbfd02 13-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

incorporated ProofHistory into LibEnv as ProofStatus git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5637 cec4b9c1-7d33-0410-9eda-942365e851bb
7968d3a131e5a684ec1ff0c6d88aae638549153d 12-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

moved ProofHistory and Status from DevGraph to StatusUtils, added prf files, omitted export list in Driver.Options git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5634 cec4b9c1-7d33-0410-9eda-942365e851bb
62ec122da8d4fdfa66cc059b97dabbf10c81affe 09-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

removed toShATerm git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5616 cec4b9c1-7d33-0410-9eda-942365e851bb
edc4d8faa97073b96157868aaa887d6e4dfddf85 05-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

switch to toShATerm' ATC member git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5602 cec4b9c1-7d33-0410-9eda-942365e851bb
38c817b94e0a5b1ae94178b1075c187e07bcc5e1 30-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

only used short version string for ATC files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5567 cec4b9c1-7d33-0410-9eda-942365e851bb
0206ab93ef846e4e0885996d052b9b73b9dc66b0 28-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

split off Automatic from InferBasic and checked with ghc-6.2.2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5563 cec4b9c1-7d33-0410-9eda-942365e851bb
3490b73f69b58ab742417b0867d0e2d4a7778cc0 28-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

added DGFile type and applied Inferbasic.automatic to DevGraph.emptyProofStatus git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5562 cec4b9c1-7d33-0410-9eda-942365e851bb
e982190515f83fe6615436530ebe89bb320770d6 16-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

check generated thy files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5529 cec4b9c1-7d33-0410-9eda-942365e851bb
aa9a7405e3150b8d1caeba44af7c9e562231aff7 25-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed theory creation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5461 cec4b9c1-7d33-0410-9eda-942365e851bb
6e1ecd948a1844206ad678907eb97c7296b805ef 25-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed verbosity git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5460 cec4b9c1-7d33-0410-9eda-942365e851bb
9f08800df9da91d444560875167fbf7acb8396ed 11-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

implemented more output types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5379 cec4b9c1-7d33-0410-9eda-942365e851bb
873cf3314879d7742e0118532e41b70c5d4e89b1 08-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

speed up for no output types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5351 cec4b9c1-7d33-0410-9eda-942365e851bb
59ffdc90faada70cc1580ba5963f8f6d7e88cb25 04-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

rearranged definitions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5345 cec4b9c1-7d33-0410-9eda-942365e851bb
9658657e918981d91c8647ed8c220464f10a6235 01-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed SCC annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5322 cec4b9c1-7d33-0410-9eda-942365e851bb
8797631d5eb386d245fcc80fcd2b523a1b0535b1 25-Oct-2005 Klaus Luettich <luettich@informatik.uni-bremen.de>

added dfg output file format git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5255 cec4b9c1-7d33-0410-9eda-942365e851bb
9603ad7198b72e812688ad7970e4eac4b553837a 25-Oct-2005 Klaus Luettich <luettich@informatik.uni-bremen.de>

Refactoring of ThSens, Theory, SenStatus: * SenStatus is now parametrised over a theoremStatus, too; it is used for structured and basic theories; value is no longer a (Named a); isDef, isAxiom are now fields of SenStatus, too * ThSens is not a Set any longer it is now a Common.OrderedMap.OMap * Theory contains now a ThSens OMap with theoremStatus == Proof_status proof_tree version_nr is updated for changed ThSens structure git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5250 cec4b9c1-7d33-0410-9eda-942365e851bb
c7fe3371bcd2a5f76c9be6d457bffaca9b7e2cae 06-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed outputting global annos and simplified write code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5149 cec4b9c1-7d33-0410-9eda-942365e851bb
f11b87e6fd9aeb5514f97da1ce0149f30f3e3f8a 05-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

moved outdir handling to write_LIB_DEFN git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5143 cec4b9c1-7d33-0410-9eda-942365e851bb
951bd6674ebe0958d7ac959f3de9be6c49f3fa79 05-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

avoided lookup in LibEnv and unnecessary inputs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5136 cec4b9c1-7d33-0410-9eda-942365e851bb
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 29-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

expanded tabs to spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/DevGraph.der.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/CompositionTable.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Formula.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/LiteralFuns.hs /hets/CASL/Logic_CASL.hs /hets/CASL/OpItem.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Quantification.hs /hets/CASL/SortItem.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/LaTeX_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Lib.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/DefaultMorphism.hs /hets/Common/GlobalAnnotations.hs /hets/Common/LaTeX_AS_Annotation.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_utils.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/Set.hs /hets/Common/Lib/State.hs /hets/Common/PPUtils.hs /hets/Common/PrettyPrint.hs /hets/Common/PrintLaTeX.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Token.hs /hets/Common/annos.hs /hets/Common/test_parser.hs /hets/Comorphisms.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/CspCASL.hs /hets/CspCASL/AS_CSP_CASL.hs /hets/CspCASL/CCKeywords.hs /hets/CspCASL/LaTeX_AS_CSP_CASL.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Main.hs /hets/CspCASL/Parse_AS_CSP_CASL.hs /hets/CspCASL/Print_AS_CSP_CASL.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/print_csp.hs /hets/Driver.hs Options.hs ReadFn.hs WriteFn.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/HTkUtils.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/Taxonomy.hs /hets/GUI/WebInterface.hs /hets/GUI/hets_cgi.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/HaskellUtils.hs /hets/Hatchet/HatAna.hs /hets/Hatchet/HatParser.hs /hets/Hatchet/Logic_Hatchet.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/OWL_DL/Logic_OWL_DL.hs /hets/OWL_DL/Namespace.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/Print.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/StaticAna.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/Proofs/Composition.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/SPASS/Logic_SPASS.hs /hets/SPASS/Prove.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/LaTeX_AS_Library.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Print_HetCASL.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/hets.hs
1651d17a9d7530af8763c462c93ac5f2f4d5fcf9 15-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

only write env file after full analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5016 cec4b9c1-7d33-0410-9eda-942365e851bb
a059fb5629939bb0d74da56094b12bb793759f0c 25-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

move Proofs.Proofs types to DevGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4980 cec4b9c1-7d33-0410-9eda-942365e851bb
f5c16d70215311c0392b5723f427f714e34ba6b9 18-Aug-2005 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

started implementation of computeCompTable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4943 cec4b9c1-7d33-0410-9eda-942365e851bb
f26489cf50364d60a14c9bf33ca2c91855ad438a 18-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

CASL.CompositionTable.CompositionTable depends on uni git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4942 cec4b9c1-7d33-0410-9eda-942365e851bb
c2257f94016aeb9e5c3ff3d4d675a81f8f873f0d 17-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

writing out thy and comptable.xml files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4939 cec4b9c1-7d33-0410-9eda-942365e851bb
46b1095ba983ce859e17c2a12f48b50583b7150c 11-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

prepared for writing composition tables git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4908 cec4b9c1-7d33-0410-9eda-942365e851bb
f39b8dd9651dfcc38b06191cda23cacbfc298323 11-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

added options git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4907 cec4b9c1-7d33-0410-9eda-942365e851bb
11280087fb7891a39bae5305886e76c0cc30886c 20-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

in Proofs.Proofs is not much left git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4469 cec4b9c1-7d33-0410-9eda-942365e851bb
f3a94a197960e548ecd6520bb768cb0d547457bb 15-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

aligned module description for haddock-0.7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Set.hs /hets/ATC/Sml_cats.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/LiteralFuns.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/capa.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Sign.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/LaTeX_COL.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LaTeX_CoCASL.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AS_Annotation.der.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_utils.hs /hets/Common/Lexer.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/Set.hs /hets/Common/PPUtils.hs /hets/Common/PrettyPrint.hs /hets/Common/PrintLaTeX.hs /hets/Common/Result.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Token.hs /hets/Common/Utils.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2IsabelleHOL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CoCASL2IsabelleHOL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/CspCASL/AS_CSP_CASL.hs /hets/CspCASL/CCKeywords.hs /hets/CspCASL/CCLexer.hs /hets/CspCASL/CCToken.hs /hets/CspCASL/LaTeX_AS_CSP_CASL.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Parse_hugo.hs /hets/CspCASL/Print_AS_CSP_CASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/StatAnaCSP.hs Options.hs ReadFn.hs WriteFn.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/HTkUtils.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/Utils.hs /hets/GUI/hetdg.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsToIds.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/Merge.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/UniqueId.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/ExtHaskellCvrt.hs /hets/Hatchet/HatAna.hs /hets/Hatchet/HatParser.hs /hets/Hatchet/Logic_Hatchet.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/CreateThy.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/Translate.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/LaTeX_Grothendieck.hs /hets/Logic/Languages.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/Proofs.hs /hets/Proofs/TheoremHideShift.hs /hets/SPASS/Conversions.hs /hets/SPASS/Logic_SPASS.hs /hets/SPASS/Print.hs /hets/SPASS/Prove.hs /hets/SPASS/Sign.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/LogicStructured.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/LaTeX_AS_Architecture.hs /hets/Syntax/LaTeX_AS_Library.hs /hets/Syntax/LaTeX_AS_Structured.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/Print_HetCASL.hs /hets/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/hets.hs /hets/utils/appendHaskellPreludeString.hs
97018cf5fa25b494adffd7e9b4e87320dae6bf47 15-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

replaced Licence with License for haddock-07 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/BasicProof.hs /hets/ATC/Grothendieck.hs /hets/ATC/Set.hs /hets/ATC/Sml_cats.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/LiteralFuns.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Sign.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/LaTeX_COL.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LaTeX_CoCASL.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Diff.hs /hets/Common/ATerm/Lib.hs /hets/Common/ATerm/ReadWrite.hs /hets/Common/ATerm/Unshared.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/DefaultMorphism.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_AS_Annotation.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/LaTeX_utils.hs /hets/Common/Lexer.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/State.hs /hets/Common/PPUtils.hs /hets/Common/PrettyPrint.hs /hets/Common/PrintLaTeX.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/Result.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Taxonomy.hs /hets/Common/Token.hs /hets/Common/Utils.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2IsabelleHOL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CoCASL2IsabelleHOL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/PCFOL2FOL.inline.hs /hets/CspCASL/AS_CSP_CASL.hs /hets/CspCASL/CCKeywords.hs /hets/CspCASL/CCLexer.hs /hets/CspCASL/CCToken.hs /hets/CspCASL/LaTeX_AS_CSP_CASL.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Parse_hugo.hs /hets/CspCASL/Print_AS_CSP_CASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/StatAnaCSP.hs Options.hs ReadFn.hs WriteFn.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/HTkUtils.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/Taxonomy.hs /hets/GUI/Utils.hs /hets/GUI/WebInterface.hs /hets/GUI/hetdg.hs /hets/GUI/hets_cgi.hs /hets/HasCASL.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsToIds.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/UniqueId.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Hatchet/Docs.hs /hets/Haskell/Hatchet/FiniteMaps.hs /hets/Haskell/Hatchet/HsLexer.hs /hets/Haskell/Hatchet/TIHetsModule.hs /hets/Haskell/Hatchet/TIPhase.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/ExtHaskellCvrt.hs /hets/Hatchet/HaskellUtils.hs /hets/Hatchet/HatAna.hs /hets/Hatchet/HatParser.hs /hets/Hatchet/Logic_Hatchet.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/CreateThy.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/Translate.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/LaTeX_Grothendieck.hs /hets/Logic/Languages.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/ToHaskellAS.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/Proofs.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/SPASS/Conversions.hs /hets/SPASS/Logic_SPASS.hs /hets/SPASS/Print.hs /hets/SPASS/Prove.hs /hets/SPASS/Sign.hs /hets/SPASS/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/LogicStructured.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/LaTeX_AS_Architecture.hs /hets/Syntax/LaTeX_AS_Library.hs /hets/Syntax/LaTeX_AS_Structured.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/Print_HetCASL.hs /hets/Taxonomy/AbstractGraphView.hs /hets/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/hets.hs /hets/test/childProcessTest.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/appendHaskellPreludeString.hs
64c2422e1ba0691556a6639e959820add102315c 09-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

used catch instead of try for ghc-5 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4396 cec4b9c1-7d33-0410-9eda-942365e851bb
c64d33a7fbeae730cbe65193fe3cc24e7aa1ddd6 09-May-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed PosItem and ShATermConversion instance generation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4217 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Graph.header.hs /hets/ATC/Grothendieck.hs /hets/ATC/Haskell.header.hs /hets/ATC/Hatchet.header.hs /hets/ATC/Proofs.header.hs /hets/ATC/Sml_cats.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/StaticAna.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Lib.hs /hets/Common/DefaultMorphism.hs /hets/Common/Id.hs /hets/Common/Result.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs ReadFn.hs WriteFn.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/AsPattern.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixFormula.casl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/OpDecls.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output /hets/Logic/Logic.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs
5b27e46c0086b51b68015ddd85434017fda70728 06-Apr-2005 Klaus Luettich <luettich@informatik.uni-bremen.de>

Added ".het" to the recognized and removed extensions of input files; the generated ".pp.casl"-files have now the extension ".pp.het". git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4016 cec4b9c1-7d33-0410-9eda-942365e851bb
b53688bfed888214b485cf76439d57262d80e0a7 25-Feb-2005 Christian Maeder <Christian.Maeder@dfki.de>

moved from hetcats for hierarchical modules git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3857 cec4b9c1-7d33-0410-9eda-942365e851bb