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 |
0fc370b28679137dec18ed4263e7e774a9c952cd |
|
13-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to Isabelle 2013-2 wrt uses keyword
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18434 cec4b9c1-7d33-0410-9eda-942365e851bb |
622752e655865004756e41d39f110209dca367d0 |
|
25-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
used axiomatization instead of axioms #1063
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17419 cec4b9c1-7d33-0410-9eda-942365e851bb |
153d2d8931968e86ced679540ebc5e583e425af3 |
|
21-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
paren right associative ops properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17397 cec4b9c1-7d33-0410-9eda-942365e851bb |
65b2ea4773bb729446afa803ad14ae2c011e29be |
|
20-Sep-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
treat sequence markers as such
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17395 cec4b9c1-7d33-0410-9eda-942365e851bb |
1dfa74e3151ce63c12483d7268fe096d82e82076 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
mkVName automatically adds AltSyntax for known constants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17132 cec4b9c1-7d33-0410-9eda-942365e851bb |
ec59d0f6f0e61272419be22982155bde741bf5b3 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
use undefined instead of arbitrary
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17130 cec4b9c1-7d33-0410-9eda-942365e851bb |
90d97972167d142dde6ee8b18d9625332040261f |
|
04-Jul-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
isabelle 2012 does not support alternative type names anymore
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17003 cec4b9c1-7d33-0410-9eda-942365e851bb |
e29b8f886533643eb2b9a8601606a9f5e40cd237 |
|
11-Apr-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
alternative names for rec types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16783 cec4b9c1-7d33-0410-9eda-942365e851bb |
989ba1f28e0846635a9f098bebbfbdfa9b1c5ed0 |
|
11-Apr-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed warnings regarding unmatched pattern TVar _ _
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16780 cec4b9c1-7d33-0410-9eda-942365e851bb |
16ae470521210b4f13feaa15e6de1b343a8e4e7a |
|
26-Jul-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Started the process of getting CSP-CASL-Prover to work with Isabelle 2011
Added a new Isabelle sentence constructor for primitive recursion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15721 cec4b9c1-7d33-0410-9eda-942365e851bb |
8fdd06d4f6530909e3e24547893a62b042117fb4 |
|
04-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added better support for type construction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14490 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e603e36c535a7f0c7a6fe1c3f3b5768ab50853b |
|
02-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly top sort Isabelle domain tables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14467 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 |
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 |
269c98e2ccf268d3d5d19d46d3d242fad726b882 |
|
08-Jul-2010 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Changed Isabelle (and CSP-CASL-Prover) to support new Isar instantiation syntax in place of the old one
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13695 cec4b9c1-7d33-0410-9eda-942365e851bb |
a81140cdef15cb5de8256e310eae035f98a054bf |
|
26-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13129 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3b4ad111a281d125659e12d6641943f29d6b3df |
|
06-Nov-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added Isabelle functions Image and Range. Drastically changed how the
process translation works. It now works for channels and term prefix
in a compatible way. All channel operations are now supported by
CspCASLProver. Renaming, hiding, chaos and run are still not supported.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12792 cec4b9c1-7d33-0410-9eda-942365e851bb |
33bdce26495121cdbce30331ef90a1969126a840 |
|
17-Jun-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Comitting CspCASL Implementation after a while.
Data types for CspCASLMorphisms, mapping morphisms over CspCASL
signatures and sentences. Additions to CspCASLProver where the
Isabelle generated code for channels may be incorrect with the respect
to the CspCASL semantics (will sort out soon). Some other parts of the
CspCASL Logic may also now be working.
--This line, and those below, will be ignored--
M Comorphisms/CASL2CspCASL.hs
M Comorphisms/CspCASL2Modal.hs
M Makefile
M CspCASLProver/CspCASLProver.hs
M CspCASLProver/Consts.hs
M CspCASLProver/CspProverConsts.hs
M CspCASLProver/TransProcesses.hs
M CspCASLProver/Utils.hs
M CspCASL/SignCSP.hs
M CspCASL/CspProver_Consts.hs
M CspCASL/AS_CspCASL_Process.der.hs
M CspCASL/Morphism.hs
M CspCASL/StatAnaCSP.hs
M CspCASL/SimplifySen.hs
M CspCASL/Comorphisms.hs
M CspCASL/Print_CspCASL.hs
M CspCASL/Logic_CspCASL.hs
M Isabelle/IsaConsts.hs
M Isabelle/IsaPrint.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11805 cec4b9c1-7d33-0410-9eda-942365e851bb |
7e6edfa96b1fd1b4fca1e9dcd336a8328f50b882 |
|
25-Mar-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added "open" as an ignored key word in Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11576 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9c1248c7972dfdafbacb1b73b2eb965eac9ef42 |
|
15-Mar-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Improved pretty printing of typed channels in CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11524 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4a74236e18cc4f4b905bc1dba94919bd97950f4 |
|
22-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed coding of strong and existential equality
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11299 cec4b9c1-7d33-0410-9eda-942365e851bb |
226d4df216d0d67423d139ead4744eb66fb62ac1 |
|
31-Jul-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Changed CspProver Operations to be implemented in the same was as the
Isabelle operations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10417 cec4b9c1-7d33-0410-9eda-942365e851bb |
afbcbe836333fac8c832afa778caa10f4b53b3e9 |
|
16-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used string constant for string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10337 cec4b9c1-7d33-0410-9eda-942365e851bb |
72aaab1105e454ec9f49103874cd8006dc2a358c |
|
15-Jul-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Liam: Extended IsaSign.Sentence with a new constructor TypeDef that allows
new types to be made from old types (namely subsets). Also changed an
Isabelle Senetence to use MetaTerms so that we can use [| |] ==> in
theorems in Isabelle. Made much progress on the CspCASL2Isabelle
Comorphism.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10331 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4ba3e20a432419afff01558e425e00be42871d8 |
|
15-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added instance sentences and used Proof type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10329 cec4b9c1-7d33-0410-9eda-942365e851bb |
fdd2ea0556081ab3fdca6cd8846c4f1eee74fd3a |
|
09-Jul-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Liam: Added a basic Isabelle Proof datatype and integrated it into IsaSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10285 cec4b9c1-7d33-0410-9eda-942365e851bb |
c730c28919b53f940ed319ebb42780244c528e29 |
|
05-Nov-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
minor additions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9137 cec4b9c1-7d33-0410-9eda-942365e851bb |
38f8320f50c5f63965ba42e4e48f38be07c823cf |
|
02-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing white space using: perl -i -ple 's/ +$_g' */*.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9131 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa436590b8c7f5035f5cf657d6de163046bc23ea |
|
01-Nov-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
added new abbreviations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9126 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2e8cca8a8217b158b0b7a760e8234c03186456d |
|
02-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to get priorities right
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8983 cec4b9c1-7d33-0410-9eda-942365e851bb |
1be9a4873732cf4e4ff536604400f63285887f83 |
|
01-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
decreased low priority number to three for lambda-terms in parens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8963 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce31795240d8fb340bc984b8b35147c955e29afa |
|
25-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored quickSort which is a topSort and removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8903 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b0778e21d9b3e71a684ad6e901e8a0e7d57ee1c |
|
09-Sep-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
changes related with shift to lifted types, some tide-up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8816 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3d42e13d2a7c3749229498658aec34e7e4fd0a0 |
|
20-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly merged in Paolo's additions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8431 cec4b9c1-7d33-0410-9eda-942365e851bb |
65e28321f4dbba7bcc6cfe5c900e59f705ebdd12 |
|
20-Jul-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
added extra abbreviations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8429 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee0bef5d55366e3fd7fd578605e2995cb09bb125 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
longer Description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8327 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1f395fef7ea8b00a675a330e5461fad35158ca5 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8319 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 |
cbac0a99fd23a43b4e94d30e58ebf93a6af6caa0 |
|
22-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generated simplifier declaration instead of [simp] axiom attribute
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7326 cec4b9c1-7d33-0410-9eda-942365e851bb |
81eaac399d69af15425d06b054e5d0331dbc132b |
|
25-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed MixfixApp constructor for an unique application representation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6892 cec4b9c1-7d33-0410-9eda-942365e851bb |
f1082bc15d1cbd06522cf49842929d73ba4214fc |
|
16-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up Isabelle constants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6829 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ecc14b8ff557d4af3a324be29053ec49b3bb679 |
|
04-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
parse constdefs properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6575 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4e8d3a0ddb1a63754edc3571b6a3a54a7b62d04 |
|
20-Apr-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
minor changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6226 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd7372fc7e6e43c389619f63daa6eb872d9d5b16 |
|
16-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6034 cec4b9c1-7d33-0410-9eda-942365e851bb |
e96fb97935ac710a295b04d60b8ac90ef8364079 |
|
19-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
proof instead of proofs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5543 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac53ffcb7dda01eb1faca2c4ef726b06bf7076fb |
|
16-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
collected datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5538 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e4812721f9026ae4ae54381a5fdeb163489087d |
|
16-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added constants for HasCASL und Haskell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5533 cec4b9c1-7d33-0410-9eda-942365e851bb |
99c923311eab71a85f1dcc4785d349609c828da4 |
|
16-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated most Isabelle keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5528 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ef05f4edeb290beb89845f57156baa5298af7c4 |
|
08-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added consistency checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5506 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5d738f1fb98e67d8b24c1db27a41a0c5dff8ed |
|
30-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added constants for Haskell translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5474 cec4b9c1-7d33-0410-9eda-942365e851bb |
603e326e7b189de8c1e4ea8c89470b3a61154019 |
|
30-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added intType for Paolo's Haskell translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5471 cec4b9c1-7d33-0410-9eda-942365e851bb |
8451d8feb0aa0e67f6585ed10669eec73ba1fba0 |
|
24-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Isabelle's names for quantifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5453 cec4b9c1-7d33-0410-9eda-942365e851bb |
74e146c7cfad97817d7e065dcd937cada89b257d |
|
23-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
different priorities for predicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5446 cec4b9c1-7d33-0410-9eda-942365e851bb |
936a3b1ef3f4f1b5e3033582b71b8f7421e32096 |
|
17-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
prefer ~ as not operator
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5413 cec4b9c1-7d33-0410-9eda-942365e851bb |
c36dc42a63287db1e3e81b03ee5655aed69e7cde |
|
16-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
use \<not> to avoid Not conflict
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5404 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f65d931e866162d39d09c43021a55314040b377 |
|
11-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed VName for alternative syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5381 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ac0c4de66a297fd7e345d9275f723fd83bb7bd1 |
|
10-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up and changed second VName component
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5374 cec4b9c1-7d33-0410-9eda-942365e851bb |
613bf0ed7d98a961755408ead328687ec17f74fd |
|
09-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused code and cleaned up a bit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5365 cec4b9c1-7d33-0410-9eda-942365e851bb |
62dd3cd58cda003c32ac69ff12dc82b0a6f5d9d3 |
|
26-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up pretty printing of types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5267 cec4b9c1-7d33-0410-9eda-942365e851bb |
120c9bff9059626735fc12b0399dcc9e5a62c345 |
|
24-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved constants from IsaSign to IsaConsts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5242 cec4b9c1-7d33-0410-9eda-942365e851bb |
13ed13e06a5dd4aad12044ed7e7503cbe7f62990 |
|
19-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
merged in Tina's branch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5216 cec4b9c1-7d33-0410-9eda-942365e851bb |
78fc76b83674789e2d10248752c1c963c1ee9f48 |
|
18-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused stuff from Paolo in spechub/Hets@4529ee79473b32f708b559d4e01fe3a222047ef4.5
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5207 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 |
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 |
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 |
10a92a06296c3c8d522543de7e3a4534bf528505 |
|
10-May-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
added domain application as a constant
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4229 cec4b9c1-7d33-0410-9eda-942365e851bb |
7f39d44f0b8c39a92606ba06fd668dc0cc2752ca |
|
28-Feb-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
minor changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3868 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae59cddaa1f9e2dd031cae95a3ba867b9e8e095d |
|
02-Feb-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
adapted to new IsaSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3763 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6025ee06343191f356a59704d467866afa29900 |
|
25-Jan-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
modified according to new IsaSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3708 cec4b9c1-7d33-0410-9eda-942365e851bb |
eaa2614d79ad5ef6a6b9b08c7e6dde46c5ad1fb3 |
|
25-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected equivalence
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3464 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5ef5a29a89fa5548f81fcd49fcf0ffda69d45b0 |
|
15-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved Isabelle strings and utilities to IsaConsts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3430 cec4b9c1-7d33-0410-9eda-942365e851bb |