414029fc573cb2506241ed5a17643f9f721502b8 |
|
13-Mar-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Fix confusion about RevImpl. |
d112a51e55ef558bc9d88237077c75f1a207e0dd |
|
06-Jun-2016 |
mcodescu <mscodescu@gmail.com> |
corrected NNF |
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 |
c4fb83732e318acadfa1276c6a11edf2dbea4ac4 |
|
12-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
rejecting several axioms |
a2f07df650cfeb9f69a6116df58ce4769cc13b59 |
|
12-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
rejecting sentences goes through |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
eae727f2a1203f1e3c86e40667fe6dfb1173abcb |
|
07-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
sort constraints to improve comparing |
814fe6301659342172b844292c9681c8b719e69b |
|
31-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
ignore original sorts when comparing constraints, fixes #1296 |
9c2757946f927f157e122a37630a00838fb3e289 |
|
03-Jan-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comment to representation of reverse implication
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17706 cec4b9c1-7d33-0410-9eda-942365e851bb |
8bb8a1e3324d9f8bcdf0a50f9c508b995e5428a0 |
|
02-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved isSortGen test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17471 cec4b9c1-7d33-0410-9eda-942365e851bb |
94e112d16f89130a688db8b03ad3224903f5e97e |
|
04-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17288 cec4b9c1-7d33-0410-9eda-942365e851bb |
18a3f86aa26c7131137514bfb946adefd62dc18d |
|
27-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added sort_gen_ax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17248 cec4b9c1-7d33-0410-9eda-942365e851bb |
8975e88a732e0c50a6b95c4ad18808c49a643fc5 |
|
14-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added constant formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16296 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ae8807e772fcd6217356f4db36f8712c2644cf8 |
|
10-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
used zipWith for zip and map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15958 cec4b9c1-7d33-0410-9eda-942365e851bb |
15c40e9426bc076b815afc5739f58c18e5c6e14c |
|
10-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened recover_Sort_gen_ax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15957 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a2de7e5a3c5da0a96c9563617ab332685a41ced |
|
18-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced term and formula construction shortcuts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15590 cec4b9c1-7d33-0410-9eda-942365e851bb |
41f19dd5103acd1adf0343bf6f0096a260290117 |
|
16-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed csp-casl other kind stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14723 cec4b9c1-7d33-0410-9eda-942365e851bb |
51b1633dc0785a542da974fae21fa7d6622c934e |
|
28-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow local let variables in FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14648 cec4b9c1-7d33-0410-9eda-942365e851bb |
36021d7e2901d90c717072a1152a306f27b1b689 |
|
18-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up op-item parser and exported opHead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14582 cec4b9c1-7d33-0410-9eda-942365e851bb |
36d8d8d571334e1b8be1ba95eaab7f50870930fe |
|
16-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected haddock marker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14556 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfd9b88881346e61fa33e54f7d03924404e35d46 |
|
16-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14555 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c4ee04931dded62728f3a9954b2799beed536e9 |
|
16-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced ARG_DECL by isomorphic VAR_DECL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14554 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e538f8086fb560f0b88d49581f0006d6323bdc0 |
|
14-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added extension for CASL terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14532 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 |
812ee1f62e0e0e7235f3c05b41a0b173497b54ff |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12820 cec4b9c1-7d33-0410-9eda-942365e851bb |
e92e93922166c81167de83cc7400403c5d9bb26c |
|
02-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added second order quantifiers for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12398 cec4b9c1-7d33-0410-9eda-942365e851bb |
74085f08cdbbfd79fe5f9c6a455ed0b0cadcf145 |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
used `getRangeSpan`
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12191 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca0d4947f7b0fdcbf7eac627659e6cff6d3863ba |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive GetRange for all types and require type parameters to be instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12167 cec4b9c1-7d33-0410-9eda-942365e851bb |
c169af7c97f636424adc459c9c7f145383186046 |
|
19-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added range functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12165 cec4b9c1-7d33-0410-9eda-942365e851bb |
765e55b764e0fd32c09d33709d6e2770c4766799 |
|
06-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended symbol kinds i.e. for CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11216 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ecf13b5fd914bc7272f1fc17348d7f4a8c77061 |
|
03-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed funs in CASL to ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11201 cec4b9c1-7d33-0410-9eda-942365e851bb |
aea143fff7a50aceb809845fbc42698b0b3f545a |
|
02-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused SYMB_KIND within raw symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11199 cec4b9c1-7d33-0410-9eda-942365e851bb |
e194ab763147ac5df9c02fe40bdb5172013c36e8 |
|
28-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed some nubs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10901 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5fe06af711a6912ae028ebf873eada4ee8733f8 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced umlaut in Luettich
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10718 cec4b9c1-7d33-0410-9eda-942365e851bb |
9bfdf40cbc2c61dd8281904a03ac598d51e0a872 |
|
22-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Simple_id constructor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10704 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5286cd98b6c4b447514341d302bff08a7674722 |
|
16-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used rangeOfTerm and predSymbName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10344 cec4b9c1-7d33-0410-9eda-942365e851bb |
de33561f50fbdcab846acab5992eeedd7b3c914b |
|
16-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added predSymbName and rangeOfTerm
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10342 cec4b9c1-7d33-0410-9eda-942365e851bb |
90c174bac60a72ffd81bc3bf5ae2dd9a61943b8b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
globally replaced PosItem and UpPos with GetRange
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10298 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7f5076658d72ea340d7fd8a648908f961af682d |
|
16-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented etypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9439 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f485a7c411a3a411673a43aadd6293975f1b029 |
|
12-Dec-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added exploitation of overloading axioms to QuickCheck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9358 cec4b9c1-7d33-0410-9eda-942365e851bb |
1973bcbf4902d92e2fd500455795aaf741e0ba4b |
|
11-Dec-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved translation of sort generation constraints to SoftFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9349 cec4b9c1-7d33-0410-9eda-942365e851bb |
986d3f255182539098a97ac86da9eeee5b7a72e3 |
|
05-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved type synonyms and some other CASL code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9316 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d4ec273e5cb1f17985c6edcf90a295a8b612cef |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added esort to CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9288 cec4b9c1-7d33-0410-9eda-942365e851bb |
819ef30d291cb3d17790271f901b0ca03f2b783f |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8486 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 |
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 |
0095c7efbddd0ffeed6aaf8ec015346be161d819 |
|
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@7284 cec4b9c1-7d33-0410-9eda-942365e851bb |
80d6c15bd1db814a5cbee6585c772e176a19ca7c |
|
20-Oct-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
documentation for negative indices in Sort_gen_ax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7083 cec4b9c1-7d33-0410-9eda-942365e851bb |
7b1dc4100fa5a3afee36f6eb379a067a1a0f7c3c |
|
18-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused SYMB_ITEMS_LIST and SYMB_MAP_ITEMS_LIST
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5668 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 |
e50f44b28fa68a4bfdb506e300dc0d457faa5668 |
|
09-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reinserted Show instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4879 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c6cf9863183b8961866d48c02f9c4aff3c3be9f |
|
08-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
try without some derived instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4878 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 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 |
2d93855b37a62ed8ba801bb30256d2020a8616c0 |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
addded manual Eq instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4411 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7d2e793728bbb7fd185e027eb9dfd7b9dd11c21 |
|
15-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3801 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba87c4e00a54c4339a7cfdac685931cfa4921642 |
|
24-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Additional aux function for Sort_gen_ax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2687 cec4b9c1-7d33-0410-9eda-942365e851bb |
6caada8926a23123aee618f61d64fe82cfd6e91e |
|
10-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added freeness flag to Sort_gen_ax; new transformation to Isabelle lexis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2574 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab0f0653d83bd3ebde0f5287e2ea4b1cdc676b5d |
|
20-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified (mainly SIG-ITEMS)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2429 cec4b9c1-7d33-0410-9eda-942365e851bb |
330b955a293fdc64e9145a159b2f2faec1f8011e |
|
13-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Bugfix for sort gen constraints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2391 cec4b9c1-7d33-0410-9eda-942365e851bb |
e539b8cb4a47f987bc57c90ee964219ac53841ff |
|
11-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added (some variant of) the extra signature morphism component to
sort generation constraints (cf. p.134 of the CASL Reference Manual).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2379 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f086d5155f47fdad9a0de4e46bbebb2c4b33d30 |
|
05-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Analyzable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2356 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
6cb09495133887e0d5e021fa3cf44f288881eb68 |
|
05-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added generated axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2247 cec4b9c1-7d33-0410-9eda-942365e851bb |
242691238a8d1a89581751d782af87ec5d7470c0 |
|
23-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added translation of Grothendieck sentence lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2219 cec4b9c1-7d33-0410-9eda-942365e851bb |
7deb3db74c2568d457658111b93584f8b2859700 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved Typeable instances out of AS_Basic (currently to Morphism)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2201 cec4b9c1-7d33-0410-9eda-942365e851bb |
679d3f541f7a9ede4079e045f7758873bb901872 |
|
14-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added references to the CASL Reference Manual.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2169 cec4b9c1-7d33-0410-9eda-942365e851bb |
306763c67bb99228487345b32ab8c5c6cd41f23c |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2158 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced qualified names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb |
409578f7f6dbee1e10dd1c969328bb92dabd087d |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@944 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b51fc5528c4d34260d97763fb59f427c3c7a63a |
|
21-Feb-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added Typeable in order to debug heterogeneous code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@925 cec4b9c1-7d33-0410-9eda-942365e851bb |
ec6653843b1b414155408cfad6bfb742ec5ba27a |
|
04-Nov-2002 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Updated the comment on Annoted FORMULA for Subsort_defn.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@585 cec4b9c1-7d33-0410-9eda-942365e851bb |
91849a39b94abfecb7e854930ad280a68699d08c |
|
27-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up Logic.hs (still a mess wrt. default-defs)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@321 cec4b9c1-7d33-0410-9eda-942365e851bb |
790452f696c7e6176c9cc661a283d57c3ce16c43 |
|
17-May-2002 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Moved AS_Basic_CASL.hs to AS_Basic_CASL.der.hs for use with DrIFT and the
Makefile. Updated todo. Added the DrIFT command.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@224 cec4b9c1-7d33-0410-9eda-942365e851bb |