History log of /hets/Driver/Options.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
4811c997e10bcfbd8e0fdfb130c3368abd33bbca 30-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Restructure more, add examples.
fb89f291c4e12ee44de11d4a900c445ed727b90d 24-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Add option to add custom HTTP request headers. (#1786)
55282ad62e8b6758abec43734ebde0015ac14b89 21-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Remove dependencies: wget, cat, tac, grep/ggrep (#1729) * Use http-client instead of wget. * Remove wget dependency. * Add option to disable certificate verification. * Call egrep instead of grep/ggrep. * Stop calling cat and tac. * Catch client and server errors.
31bc219bae758272d0f064281b8ce7740a4553e9 14-Oct-2017 Till Mossakowski <till@iws.cs.ovgu.de>

new Hets option -z for printing logic list
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
1c4dfa148603d4fcf4cdd2ed66c8b6e1de0dd696 15-Aug-2017 Till Mossakowski <till@iws.cs.ovgu.de>

ensure exit status 2 in case of errors; avoid long useage message
60e6795dd310e10194e12bb660575aadf941328b 14-Aug-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Introduce semantic versioning (#1716) * Put the version into Driver/Version.hs. * Fix version strings. * Add --numeric-version option. * Adjust HETS_VERSION in Makefile. * Remove rev.txt. * get fully rid of GIT_TIMESTAMP + minor simplifications * Rename function hetcats_version to hets_version. * Use camelCase.
46c318705d1532d90572abf9ee869016583d985b 08-Aug-2017 Till Mossakowski <till@iws.cs.ovgu.de>

HetCASL -> DOL at various places
fe495a0978e5aa70776103c37fb0eb2bd6abea69 10-Aug-2016 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Write PID file in server mode. (#1648) * Write PID file in server mode. * Add parameter for pidfile to manpage. * Delete pidfile after termination (by INT and TERM). * Beautify manpage line of pidfile. * Print warnings for option -P without -X. * Print verbosity message.
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
726baec6dfb69adb27f2afb4b2027fe5e7670c4a 02-Mar-2016 Till Mossakowski <till@communtu.de>

set up basic infrastructure for Medusa output
01a143ff12e858a18437e18aab76b32f5bbb18c4 11-Jan-2016 cmaeder <c.maeder@jacobs-university.de>

adjust options flag independent from ghc flags
9b3e946be44391d35acb2168f4e67d629e560f79 10-Jan-2016 Till Mossakowski <till@communtu.de>

show instances
e38219f3dd2f5711440478cbffa76ce3db530543 28-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

added json logic graph output
987bd66ac5bc367e2bbe50ce2b6355993fb335d9 15-Sep-2014 cmaeder <cmaeder@users.noreply.github.com>

re-add rdf output with .nt extension (n-triple)
da5d81f8720c3b184241f413620169453e919b69 01-Sep-2014 notanartist <notanartist@outlook.com>

removed warnings
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.
cbc7906106ca15a78e254ee7ee2384823c37dedc 29-Aug-2014 notanartist <notanartist@outlook.com>

-
df87ff823273ae2969e9d29e833845b4c0a9ee77 29-Aug-2014 notanartist <notanartist@outlook.com>

removed unneccessary code
9308cb2aebeae23f49713896e6d7028b0ac0f83e 28-Aug-2014 notanartist <notanartist@outlook.com>

intype is not detected for owl or rdf. working on this..
1ebf8299efa3cdb39c73d40d15e1d1a8a2246e68 25-Aug-2014 notanartist <notanartist@outlook.com>

slightly changed behaviour of Read OWLFormat
c3b00d3435293c71ab4e750be084a2d8dcf6209f 25-Aug-2014 notanartist <notanartist@outlook.com>

added important Read instance to new OwlFormat datatype. NOTE: i also changed all the 'readS' cases to allow non-singleton lists. This is because i allow OWLXml for both .xml and .owl.
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.
1f2c732265a1292f0d7c51a4a7ca6be5dd370df6 19-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

replaces keyword diagram by graph
5c2884e74a15fd0dfcfc097cfa8dbf79b01d9f81 19-Aug-2014 notanartist <notanartist@outlook.com>

slightly changed behaviour of Read OWLFormat
7126c356ad74577a397d409b7e2568f0d3ac2af6 12-Aug-2014 notanartist <notanartist@outlook.com>

added important Read instance to new OwlFormat datatype. NOTE: i also changed all the 'readS' cases to allow non-singleton lists. This is because i allow OWLXml for both .xml and .owl.
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.
024703c9d1326c23e307c0b0d453ed3358e87fe4 05-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

add json output
93603bd881e43d4ff5a57d7ca4e2b9fa619f25b4 25-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

replaced underline by hyphen
9ee80c455784287a8b5e1b6bac1f8efa6a2f4bb3 23-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

added access token to options #1292
0a26144c20fa9cdcd05011ca5019cbac8e4afae0 23-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

extract options from query string
d590edc7ecb39262bd96ec70608cbb0cf4284ba5 30-Jun-2014 cmaeder <cmaeder@users.noreply.github.com>

omit command line flags that do not produce DGXML
d1c667fd9445963d9d31e2cf5d0ead15e77082a4 30-Jun-2014 cmaeder <cmaeder@users.noreply.github.com>

allow some command flags to be set via the web api #1266
9f4902edfa3d477e42343e0ec357a2f93b1119d1 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

added white and black lists for IP filtering #1266
6f70475dddc12732bdbef3e3dd116373e34cd6b9 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

make the ontohub example in #1262 work
ce8a93047aaf0dc36fa221642292d47852a9862a 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

add (yet unsupported) option to display the file type
a31430de8b0632d29f42634d6395e982bf31b14d 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

added a separate option to output the logic graph as xml
0d79ea4ed8512a802ecb6645edac141e0fbcee3f 17-Mar-2014 Christian Maeder <Christian.Maeder@dfki.de>

added full-theories option git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18549 cec4b9c1-7d33-0410-9eda-942365e851bb
91e24fc45834b35f2a3830d72565640251149bf3 20-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

added quick-option to OWL2 java parser #1247 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18506 cec4b9c1-7d33-0410-9eda-942365e851bb
057b3bffc58757a98e8e7c1aeaf5cbbc986b3117 11-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

do not check input files as these may be library names in the web git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18478 cec4b9c1-7d33-0410-9eda-942365e851bb
0130083f314580170af1195037be3325f125fbce 10-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

refactored content reading git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18474 cec4b9c1-7d33-0410-9eda-942365e851bb
f730570f7c284b252ad2e24cf23cc594021f9e25 02-Dec-2013 Jonathan von Schroeder <sternkinder@gmail.com>

read in tptp files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18353 cec4b9c1-7d33-0410-9eda-942365e851bb
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 29-Nov-2013 Jonathan von Schroeder <sternkinder@gmail.com>

removed lots of hlint warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/ATCTest2.hs /hets/ATC/Sml_cats.hs /hets/Adl/StatAna.hs /hets/CASL/Amalgamability.hs /hets/CASL/ColimSign.hs /hets/CASL/Induction.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Morphism.hs /hets/CASL/OMDocImport.hs /hets/CASL/Overload.hs /hets/CASL/QuickCheck.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolParser.hs /hets/CASL/ToItem.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DgCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL.hs /hets/COL/AS_COL.der.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/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/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/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/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/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AutoProofUtils.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/GraphAlgo.hs /hets/Common/GtkGoal.hs /hets/Common/IOS.hs /hets/Common/Id.hs /hets/Common/Item.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/Tabular.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/MathLink.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/ResultT.hs /hets/Common/SFKT.hs /hets/Common/SetColimit.hs /hets/Common/UniUtils.hs /hets/Common/XmlExpat.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Lexer_KIF.hs /hets/CommonLogic/ModuleElimination.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Parse_KIF.hs /hets/CommonLogic/Print_KIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Tools.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CSMOF2CASL.hs /hets/Comorphisms/CommonLogic2IsabelleHOL.hs /hets/Comorphisms/CommonLogicModuleElimination.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DynComorphismList.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/HolLight2Isabelle.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CommonLogic.hs /hets/Comorphisms/QVTR2CASL.hs /hets/Comorphisms/SoftFOL2CommonLogic.hs /hets/Comorphisms/THFP2THF0.hs /hets/Comorphisms/THFP_P2HasCASL.hs /hets/Comorphisms/THFP_P2THFP.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.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/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Tests/Test_AS_DFOL.hs /hets/DFOL/Tests/Test_Analysis_DFOL.hs /hets/DFOL/Tests/Test_Parse_AS_DFOL.hs /hets/DFOL/Tests/Test_Structuring.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs AnaLib.hs Options.hs ReadFn.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/Brep.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Testmain.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/CombLogic.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/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/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/GraphLogic.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ShowRefTree.hs /hets/GUI/UDGUtils.hs /hets/GUI/displayDependencyGraph.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.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/InteractiveTests.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/MinType.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/test/Graphs.hascasl /hets/HasCASL/test/Graphs.hascasl.output /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/ProgramaticaPrelude.hs /hets/Haskell/TranslateId.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/HolLight/Helper.hs /hets/HolLight/Sentence.hs /hets/Hybrid.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaImport.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/Analysis.hs /hets/LF/ComorphFram.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/MorphParser.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.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/Modification.hs /hets/Logic/Morphism.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.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/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/GeneratePatterns.inline.hs.in /hets/Modal/ModalSign.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.hs /hets/OWL2/ColimSign.hs /hets/OWL2/Morphism.hs /hets/OWL2/Parse.hs /hets/OWL2/Sign.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/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/PGIP/tests/SyslogTypes.hs /hets/PLpatt/AS_BASIC_PLpatt.hs /hets/PLpatt/GTools.hs /hets/PLpatt/Logic_PLpatt.hs /hets/PLpatt/Morphism.hs /hets/PLpatt/Parse_PLpatt.hs /hets/PLpatt/Sign.hs /hets/PLpatt/StaticAnaPLpatt.hs /hets/PLpatt/Tools.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Freeness.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/TheoremHideShift.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Conversions.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.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/Print.hs /hets/RDF/StaticAnalysis.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/tests/CMDL_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/DGNavigation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Static/testApplyDiff.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/Parse_AS_Structured.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.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/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/ListEx.hascasl.hs /hets/ToHaskell/test/OpDecls.hascasl.hs /hets/ToHaskell/test/PatternEq.hascasl.hs /hets/ToHaskell/test/Sorting.hascasl.hs /hets/ToHaskell/test/Test.hascasl.hs /hets/TopHybrid.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/StatAna.hs /hets/VSE/Fold.hs /hets/atermlib/src/ATerm/AbstractSyntax.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/test/Map.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/DtdToHaskell-src/DtdToHaskell.hs /hets/utils/DtdToHaskell-src/current/Convert.hs /hets/utils/DtdToHaskell-src/current/Instance.hs /hets/utils/DtdToHaskell-src/current/TypeDef.hs /hets/utils/DtdToHaskell-src/pre-1.22/Convert.hs /hets/utils/DtdToHaskell-src/pre-1.22/Instance.hs /hets/utils/DtdToHaskell-src/pre-1.22/TypeDef.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/itcor/GenItCorrections.hs /hets/utils/macports/libs.hs /hets/utils/quickcheck.lhs
12324a24aa5aa42edc749c7473fcf5264d4a81e4 22-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

added owl.xml input type #1217 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18325 cec4b9c1-7d33-0410-9eda-942365e851bb
fba4eac6b080849889892e1e273ac4c74ddde840 13-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

refined checkUri git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18299 cec4b9c1-7d33-0410-9eda-942365e851bb
4eb859461f8fd904f40f57261cf23e5c73cf8eca 31-Oct-2013 Christian Maeder <Christian.Maeder@dfki.de>

moved code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18293 cec4b9c1-7d33-0410-9eda-942365e851bb
0b13f102310e03a20b38c870b5acb88712f316a4 30-Oct-2013 Christian Maeder <Christian.Maeder@dfki.de>

added url catalog option as described in #1177 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18291 cec4b9c1-7d33-0410-9eda-942365e851bb
3753288339ad80053053d92409bd37b335a96197 28-Oct-2013 Christian Maeder <Christian.Maeder@dfki.de>

detect .obo files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18289 cec4b9c1-7d33-0410-9eda-942365e851bb
4347b243063d414f97a68b64e30a4f27a612af0a 25-Oct-2013 Christian Maeder <Christian.Maeder@dfki.de>

simplified URI check further git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18286 cec4b9c1-7d33-0410-9eda-942365e851bb
34746b7edb13c8b0fe36066b410ed4e7695b7649 25-Oct-2013 Christian Maeder <Christian.Maeder@dfki.de>

added .dol extension (without tests) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18285 cec4b9c1-7d33-0410-9eda-942365e851bb
9f226cec9f978edaba67aee4c4e04e3d3b994b87 03-Sep-2013 Daniel Calegari <dcalegar@fing.edu.uy>

first incomplete version of QVTR comorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18160 cec4b9c1-7d33-0410-9eda-942365e851bb
46b80f779dd6f8bbccebb7b707f40a1bc4739ef6 30-Jul-2013 Christian Maeder <Christian.Maeder@dfki.de>

added xmi as input type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18095 cec4b9c1-7d33-0410-9eda-942365e851bb
a68ff26ddb1d300f7e16097edef615f130fcd5ce 30-Jul-2013 Christian Maeder <Christian.Maeder@dfki.de>

prepared for xmi to LibDefn git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18089 cec4b9c1-7d33-0410-9eda-942365e851bb
0ede68718d0fd43b5d67c233ccfb7a2b673fc9cb 30-May-2013 Christian Maeder <Christian.Maeder@dfki.de>

omit usage for non-IO hets errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17984 cec4b9c1-7d33-0410-9eda-942365e851bb
afb32b54f3e87b51c5a6242040022f497f7f20ab 30-May-2013 Christian Maeder <Christian.Maeder@dfki.de>

omit final blank line after usage git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17983 cec4b9c1-7d33-0410-9eda-942365e851bb
502483734c83d0bf1eadcc94113d0362f8713784 30-May-2013 Christian Maeder <Christian.Maeder@dfki.de>

exit with exit code 2 for IO errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17982 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
34d14197eb3dd643a8e6ef3ed8cba5629528e97f 29-Apr-2013 Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de>

added MMT flag git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17922 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
78c294da55788b25e175180168371c9536a6d440 04-Mar-2013 Christian Maeder <Christian.Maeder@dfki.de>

introduced shorter output formats see #1120 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17774 cec4b9c1-7d33-0410-9eda-942365e851bb
c770b05f3d85f8eeb25ba15f7192044f9dd534dd 02-Nov-2012 Soeren D. Schulze <soeren.d.schulze@gmx.de>

introduce preliminary 'use' command and try file name extensions even for non-local imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17602 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
0f6d6eed1372f60b090a5ebbcc8bd14dc6cfe238 03-Sep-2012 Christian Maeder <Christian.Maeder@dfki.de>

forget one path in change spechub/Hets@863d4b011d04907325f3eed8e89975e38603cb05 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17285 cec4b9c1-7d33-0410-9eda-942365e851bb
863d4b011d04907325f3eed8e89975e38603cb05 03-Sep-2012 Christian Maeder <Christian.Maeder@dfki.de>

properly split paths under windows git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17281 cec4b9c1-7d33-0410-9eda-942365e851bb
dff1de7ad15d1582e25d636c3724dd202874897f 08-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

added command line option for logic syntax git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17153 cec4b9c1-7d33-0410-9eda-942365e851bb
7bbfb15142ab4286dfc6fcde2fc94a5512297e41 07-Aug-2012 Jonathan von Schroeder <sternkinder@gmail.com>

added direct support for importing .thy files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17141 cec4b9c1-7d33-0410-9eda-942365e851bb
9db2bd64088c7e5935b94dd9c3ad5cdc24f48814 30-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

switched from Prelude.catch to Control.Exception git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17075 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
353187efd08a2cb65226f414f192b59d312f27ac 13-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

corrected default encoding option display git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17030 cec4b9c1-7d33-0410-9eda-942365e851bb
897a04683fb30873e84dc3360dea770a4435971c 16-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

test xml content git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16734 cec4b9c1-7d33-0410-9eda-942365e851bb
22b772f8753f0cdb4508ba460356c238de2ee375 14-Mar-2012 Jonathan von Schroeder <sternkinder@gmail.com>

first version of import from isabelle. has issues with printing imported datatypes and doesn't support all term types yet git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16726 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
5a448e9be8c4482a978b174b744237757335140f 22-Feb-2012 Christian Maeder <Christian.Maeder@dfki.de>

switched to utf8 default encoding git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16672 cec4b9c1-7d33-0410-9eda-942365e851bb
b47b1ea8a412f6e4c731779f6a572384e7cf06d8 24-Jan-2012 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up owl and common logic files types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16630 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
bbcb456803d40f9b48dd43b1c84bdf8932d2672b 17-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

called owl parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15199 cec4b9c1-7d33-0410-9eda-942365e851bb
9ce0fba27eba94c4340d94513ef1bdba77845195 17-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

added owl2 input type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15194 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
af6e92e4a9ca308f928f9909acee115f801c5db5 14-Jun-2011 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

refactored readLibDefnM to a io-monad action git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15120 cec4b9c1-7d33-0410-9eda-942365e851bb
a461314c811f4187dff85c8be079a41b2f13f176 15-Apr-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow to parse xml for logic -l DMU git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14916 cec4b9c1-7d33-0410-9eda-942365e851bb
26b1c101b72100b69045effdfaab3889de6c8c93 22-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

added option to read in dgxml git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14771 cec4b9c1-7d33-0410-9eda-942365e851bb
33fcc19ef2b59493b4e91eebf701df95fd230765 17-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

added option for relative positions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14729 cec4b9c1-7d33-0410-9eda-942365e851bb
d96bfd1d7a4595bfff87771b91797330fa939455 11-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

use relative positions within the hets server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14703 cec4b9c1-7d33-0410-9eda-942365e851bb
ea5ccb1c6e89486a54e1f4bd95840147e96093ed 21-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

added pp output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14596 cec4b9c1-7d33-0410-9eda-942365e851bb
511284753313165e629cedf508752d6818ccc4d2 10-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

added a simple html renderer for docs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14316 cec4b9c1-7d33-0410-9eda-942365e851bb
f03420e44d8204b2945edaab5c70a84e7c381892 26-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

let usage message fit 80 columns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14271 cec4b9c1-7d33-0410-9eda-942365e851bb
8994ef587ce7c7c39ddd20f0f7e4575838a6694a 19-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

properly set unlit field git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14247 cec4b9c1-7d33-0410-9eda-942365e851bb
8c8545dd3bf34fbcbc16904b65d249658f8f9efc 19-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

add unlit option #883 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14246 cec4b9c1-7d33-0410-9eda-942365e851bb
b6ff72be73dad3d1394cf2c71e29e67624ff030b 12-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

do not show options for features not compiled with git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14216 cec4b9c1-7d33-0410-9eda-942365e851bb
a166da43d4e8f9dfa7a2651d033c6bea02627ca6 05-Nov-2010 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

reading in HOL-light generated files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14197 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
d27b1887e61f1dc53d77c37f59dbf5019242a686 22-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

added testing server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14087 cec4b9c1-7d33-0410-9eda-942365e851bb
8d780c893d6df5dab3dcc7d8444b7517f6547f11 14-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

added xupdate option git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14066 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
d95f77e19ae3835318a6340d872193fbb3cbab05 29-Jul-2010 Karl Luc <kluc@tzi.de>

added common logic suffix .clif git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13785 cec4b9c1-7d33-0410-9eda-942365e851bb
2360728d4185c0c04279c999941c64d36626af79 21-Jul-2010 Christian Maeder <Christian.Maeder@dfki.de>

removed unneeded owlS constant git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13737 cec4b9c1-7d33-0410-9eda-942365e851bb
df86c42574168135e8e2af9cf468fae774874cd0 21-Jul-2010 Christian Maeder <Christian.Maeder@dfki.de>

use .omn for OWL Manchester Syntax output files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13736 cec4b9c1-7d33-0410-9eda-942365e851bb
16b71dad8d398af412d66a4f4763f1ada5b03d23 21-Jul-2010 Christian Maeder <Christian.Maeder@dfki.de>

add flag for encoding git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13734 cec4b9c1-7d33-0410-9eda-942365e851bb
d5c69d636f95a309cfb50bbcfbf0b876c69546df 09-Jun-2010 Kristina Sojakova <kristinas@cmu.edu>

Fixed the handling of imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13567 cec4b9c1-7d33-0410-9eda-942365e851bb
8a4ad94c497663adf4d1ee03f8352534faa23323 09-Jun-2010 Kristina Sojakova <kristinas@cmu.edu>

Modified Twelf dgraphs to use relative file names as library names Modified the handling of imports to allow importing .elf files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13550 cec4b9c1-7d33-0410-9eda-942365e851bb
005e0f0c6b0cc898003b03801158c208f3071fc5 08-Jun-2010 Kristina Sojakova <kristinas@cmu.edu>

Added static analysis for Framework git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13540 cec4b9c1-7d33-0410-9eda-942365e851bb
514cf6a2a8777fbae38eb3ac01edce3511c46f08 07-Jun-2010 Kristina Sojakova <kristinas@cmu.edu>

Added development graph generation when analyzing logic definitions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13537 cec4b9c1-7d33-0410-9eda-942365e851bb
4692b8b63985ab174478d389e20a544054e09ce8 03-May-2010 Karl Luc <kluc@tzi.de>

added clf extension to hets and .clf files readable with Logic = Common Logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13415 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
9f85afecbd79b3df5a0bb17bd28cd0b288dc3213 05-Feb-2010 Kristina Sojakova <kristinas@cmu.edu>

Integrated Twelf into Hets so that files with the extension .elf are passed directly to Twelf git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13041 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
d56ece59c372cb887355825901222b9f3377f7e6 13-Nov-2009 Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>

Gtk consistency checker was broken, fixed. removed all warnings from building hets with and without Gtk and or HTk. fixed bugs from my last commit when building without Gtk and or HTk. One bug still remaining in consistency checker when pressing invert, i am trying to fix it now. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12833 cec4b9c1-7d33-0410-9eda-942365e851bb
c3f7e132e0c214b755c6c4b485f4748c4dd1595c 26-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

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

/hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/QuickCheck.hs /hets/CASL_DL/StatAna.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/Common/ProverTools.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/OWL2CASL.hs /hets/CspCASL/StatAnaCSP.hs Options.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphLogic.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/Merge.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Logic/Morphism.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Morphism.hs /hets/Maude/Symbol.hs /hets/OMDoc/Export.hs /hets/OWL/Conservativity.hs /hets/OWL/ProvePellet.hs /hets/PGIP/XMLparsing.hs /hets/Proofs/Composition.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProverState.hs /hets/Static/ToXml.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/VSE/Ana.hs
44f3fc84d88cc5f364e152606779c99e3b8cb895 23-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

expect .xml source for logic DMU git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12707 cec4b9c1-7d33-0410-9eda-942365e851bb
be43c3fa0292555bd126784ae27ff5c1d23438cb 22-Sep-2009 Christian Maeder <Christian.Maeder@dfki.de>

use &lt;/&gt; (combine) from System.FilePath git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12487 cec4b9c1-7d33-0410-9eda-942365e851bb
cb2044812811d66efe038d914966e04290be93fa 01-Sep-2009 Christian Maeder <Christian.Maeder@dfki.de>

allow a list of library paths git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12375 cec4b9c1-7d33-0410-9eda-942365e851bb
76d027be764e2ff61bef959efb3ac8f56499e646 25-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

added maude extension git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12278 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
f6bb0076b79286b0251c1b2745ed8019b6c80252 24-Jun-2009 Christian Maeder <Christian.Maeder@dfki.de>

added pp.xml output type for #703 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11835 cec4b9c1-7d33-0410-9eda-942365e851bb
8bb80c9684e905de8dcfcfb1291542677e7d77b6 18-Jun-2009 Christian Maeder <Christian.Maeder@dfki.de>

used intercalate for joinWith git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11812 cec4b9c1-7d33-0410-9eda-942365e851bb
966519955f5f7111abac20118563132b9dd41165 18-Mar-2009 Christian Maeder <Christian.Maeder@dfki.de>

added flag for normal form computation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11540 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
59aa5703ac7f3b99e97cd5926e77088b256c5f40 07-Nov-2008 Christian Maeder <Christian.Maeder@dfki.de>

added OWL out option git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10964 cec4b9c1-7d33-0410-9eda-942365e851bb
2725abe920f91de62ae5c0b7230c1627cccf5fab 23-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

replaced more ues git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10722 cec4b9c1-7d33-0410-9eda-942365e851bb
85e1d54a475bfc30b3eac5ae6c5e42a2d7e93f10 04-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

removed haddock warning git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10068 cec4b9c1-7d33-0410-9eda-942365e851bb
5941ba0b9a99ac98f78a89a9f3303102657e36cc 08-Apr-2008 Christian Maeder <Christian.Maeder@dfki.de>

added printDiags function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9890 cec4b9c1-7d33-0410-9eda-942365e851bb
dbc98cd8a9a829e020cfa0a9f3aff89de75caaa9 02-Apr-2008 Christian Maeder <Christian.Maeder@dfki.de>

replaced getEnv by a safer getEnvDef git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9862 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
27b988cb88bfa05fe6f35a853d76ef04f61293ef 11-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

removed unsupported html output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9738 cec4b9c1-7d33-0410-9eda-942365e851bb
818b228955ef40dd5a253bd942dd6ab8779ed713 11-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

removed unused ASTreeIn input type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9737 cec4b9c1-7d33-0410-9eda-942365e851bb
ea38cad7e4f09060750da5d0b8ebc426628c4d88 11-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

removed unused rawopts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9736 cec4b9c1-7d33-0410-9eda-942365e851bb
91ba5d95b2472cb075646b6120a559dc6581a867 11-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

shortened usage message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9735 cec4b9c1-7d33-0410-9eda-942365e851bb
a3a7d8b3cdf05c8040c62dbcf9a15dc5042cd721 11-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up options git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9734 cec4b9c1-7d33-0410-9eda-942365e851bb
16bd58b831e09422f0f2f1c9da2a66f0487239f0 07-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

used -S for #503 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9719 cec4b9c1-7d33-0410-9eda-942365e851bb
e5636f167d8113960d320407cbbd7cd3580241d4 04-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

M-x delete-trailing-whitespace git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9686 cec4b9c1-7d33-0410-9eda-942365e851bb
fefee7e1dee1ee5f0768a03a4abae88d1ca2c3fd 24-Feb-2008 Razvan Pascanu <r.pascanu@jacobs-university.de>

Working version of XML git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9619 cec4b9c1-7d33-0410-9eda-942365e851bb
fb2c50869b447f429a98ea921ef1cd6f2b5af5e8 01-Feb-2008 Dominik Luecke <luecke@informatik.uni-bremen.de>

reverted to owl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9505 cec4b9c1-7d33-0410-9eda-942365e851bb
109a53dbf4c9233f869f63ba7a7f3fece49973c3 11-Jan-2008 Christian Maeder <Christian.Maeder@dfki.de>

added export list and removed unused noPerms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9423 cec4b9c1-7d33-0410-9eda-942365e851bb
b324cda6178c49ddeead3ce62b832ccf644cbcab 10-Jan-2008 Razvan Pascanu <r.pascanu@jacobs-university.de>

communication with XML packets for the Broker git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9421 cec4b9c1-7d33-0410-9eda-942365e851bb
3c4e64e0b4361a24275ee8f308fa965ab1e52f2e 05-Dec-2007 Heng Jiang <jiang@tzi.de>

removed old OWL_DL; modified hets, option, makefile for owl 1.1 and install. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9309 cec4b9c1-7d33-0410-9eda-942365e851bb
66a774f13272fde036481edd2298081ab3d04678 17-Nov-2007 Razvan Pascanu <r.pascanu@jacobs-university.de>

Allowing the Hets to comunicate through Sockets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9204 cec4b9c1-7d33-0410-9eda-942365e851bb
964ee9fff06b8c821e1d00207f6f185301371be8 16-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

request interactive mode explicitely git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9058 cec4b9c1-7d33-0410-9eda-942365e851bb
0a64bfd28dff15bc93e1f7a86e0a8052e879636d 23-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

removed getPermessions and replaced checkInFile with doesFileExist git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8691 cec4b9c1-7d33-0410-9eda-942365e851bb
ab2f38d9cd1249f6bc9cc5b838dc2fcd76189c0f 31-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

removed tabs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8519 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
974b0baababf2878820de073b8fad8db68bef08a 02-Jul-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

M Driver/Options.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8216 cec4b9c1-7d33-0410-9eda-942365e851bb
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
1e3950d5c1f0e041dd7677856e43f07796567d5b 15-May-2007 Christian Maeder <Christian.Maeder@dfki.de>

set intype to GuessIn to properly find source or env file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7907 cec4b9c1-7d33-0410-9eda-942365e851bb
5b5f3190cc8d51a7942dda33a1ec45345cca5028 09-Apr-2007 Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>

added the flag for uncolored devgraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7807 cec4b9c1-7d33-0410-9eda-942365e851bb
4f1815aad02f2d2a7a34864bbafd563961b72886 26-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

replace verbosity Int with 0-5 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7547 cec4b9c1-7d33-0410-9eda-942365e851bb
5cfeedad8c9d43f62f8e8b85ab73c0dd4e91d976 20-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

moved remaining todos to trac git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7481 cec4b9c1-7d33-0410-9eda-942365e851bb
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
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
528539f3d544c24afe14e979fe51f03e50aa6e9c 15-Sep-2006 Christian Maeder <Christian.Maeder@dfki.de>

corrected spelling git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6942 cec4b9c1-7d33-0410-9eda-942365e851bb
12aef5992d3af07dee81a4e02cf4be65a83f28bc 15-Sep-2006 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up duplicate code in hetcatsOpts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6941 cec4b9c1-7d33-0410-9eda-942365e851bb
8955ea64c61a6e8b96b7696021863afd1a75f6da 24-Aug-2006 Razvan Pascanu <r.pascanu@jacobs-university.de>

Minor bugs fixed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6878 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
6352f3c31da3043783a13be6594aacb2147378ba 28-Jul-2006 Razvan Pascanu <r.pascanu@jacobs-university.de>

interactive mode for hets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6734 cec4b9c1-7d33-0410-9eda-942365e851bb
980c2505814d75dc689de1412f4de30b4d96314f 20-Jul-2006 Razvan Pascanu <r.pascanu@jacobs-university.de>

updated version of PGIP git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6694 cec4b9c1-7d33-0410-9eda-942365e851bb
59a10395caff224b2ec541f94dac5082a506c00f 06-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

replaced InFile with input file in docs only git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6612 cec4b9c1-7d33-0410-9eda-942365e851bb
0ae7a79e865d4a6022d705d160530682b3c1f825 16-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

added translation option git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6325 cec4b9c1-7d33-0410-9eda-942365e851bb
a9e804dbec424ec36e34bab955cbe90edac5baa6 20-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

added HaskellOut git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6073 cec4b9c1-7d33-0410-9eda-942365e851bb
083bc1972a66d73749760eab3a90bf4eb9ca7951 20-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

added recurse flag git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6070 cec4b9c1-7d33-0410-9eda-942365e851bb
fdac680252d7347858bd67b4c2a2aaa52e623815 20-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

added omdoc file types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6059 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
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
7f7460e7095628f3437b116ee78d3043d11f8feb 18-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

generalized IOResult to ResultT git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5665 cec4b9c1-7d33-0410-9eda-942365e851bb
a1c6679d00e15a949730ab640159e0adc5b0e3e7 16-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

implemented PrfIn, removed DGIn git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5644 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
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
d01f5008234242395b1eac85792fd703acf755d9 30-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

extended usage string git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5566 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
7fc3a024ac2bf5dbe2a3db3846d45a9eafadadae 07-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed unused checkEitherDirOrExFile and exported checkInFile git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5498 cec4b9c1-7d33-0410-9eda-942365e851bb
7245138e91992b96b153b8ac527e263d9dc8ff5b 02-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

liberalized input possibilities (i.e. if only .env exists) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5483 cec4b9c1-7d33-0410-9eda-942365e851bb
beff4152e9f0fe90885458d1a1733b183a2a8816 11-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

added more output types and cleaned up Read instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5378 cec4b9c1-7d33-0410-9eda-942365e851bb
9dd71ac51c9a6e72bcb126224f9c64131698b636 10-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

added dg input type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5368 cec4b9c1-7d33-0410-9eda-942365e851bb
4a2f7efdf67dfcda0946f1b6373f41976ddea7a4 04-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

write out nothing by default git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5342 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
3bcd9d942601d59dd55a6069d8b2d1c33d7ced0e 11-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

revived gen_trm input git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5162 cec4b9c1-7d33-0410-9eda-942365e851bb
93bc87ee96c68506945dbad8c704badaa42ecf14 06-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

added addEnvOut function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5151 cec4b9c1-7d33-0410-9eda-942365e851bb
f96053149c8884a329972e71d79f0455beff3c5b 05-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed defaultOutType git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5142 cec4b9c1-7d33-0410-9eda-942365e851bb
0ea2cddb8715a770e646895e16b7b8085f49167c 05-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

correctly implemented rmSuffix git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5141 cec4b9c1-7d33-0410-9eda-942365e851bb
2353f65833a3da763392f771223250cd50b8d873 05-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

relaxed checkInTypes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5134 cec4b9c1-7d33-0410-9eda-942365e851bb
9d6562465b41f17c7967d4e5678f34811d958cb2 05-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

moved hasEnvOut from hets.hs, queried HETS_LIB for libdir, exported downloadExtensions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5132 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
fa958f03a6fda748f975e6554a0f0b68ab05e0ed 18-Sep-2005 Heng Jiang <jiang@tzi.de>

remove option of owl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5024 cec4b9c1-7d33-0410-9eda-942365e851bb
4b1833c7d3af466e6bcba24f16304e0a78e8da87 12-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

exported pure checkUri git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5013 cec4b9c1-7d33-0410-9eda-942365e851bb
d44c48104f809f7fa002fa1997c4bbceff914433 10-Sep-2005 Heng Jiang <jiang@tzi.de>

added new infile type (uri) for owl analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5005 cec4b9c1-7d33-0410-9eda-942365e851bb
c8f7825c403897ea0295a9a6d2b626aefb2b7f61 28-Aug-2005 Heng Jiang <jiang@tzi.de>

added owl optioin for OWL_DL analysis; removed web option git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4988 cec4b9c1-7d33-0410-9eda-942365e851bb
c5a4c5f506ea34fa527065b4187127a18c6e2418 17-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

improved sanity check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4940 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
25a0b76bc87e80c0f697951d9817862755a71d33 17-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

reduced haddock warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4455 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
b4fbc96e05117839ca409f5f20f97b3ac872d1ed 13-Jun-2005 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

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

/hets/ATC/Grothendieck.hs /hets/ATC/Sml_cats.hs /hets/CASL/Amalgamability.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/Sign.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/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/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/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2IsabelleHOL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CoCASL2IsabelleHOL.hs /hets/Comorphisms/CspCASL2Modal.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 /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/HasCASL/As.der.hs /hets/HasCASL/AsToIds.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/Merge.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/PrintAs.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/TypeAna.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell/HatParser.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/ExtHaskellCvrt.hs /hets/Hatchet/HatParser.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/LaTeX_Grothendieck.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/OWL_DL/ToHaskellAS.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.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/utils/appendHaskellPreludeString.hs
3a9d784341454573b50b32fa1b494e7418df3086 29-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed tabs and moved some code to Common.Amalgamate git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4160 cec4b9c1-7d33-0410-9eda-942365e851bb
fbc7d11880751ef87862b1f4650b16c01c6763f1 02-Mar-2005 Klaus Luettich <luettich@informatik.uni-bremen.de>

Added a utility function. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3888 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