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 |
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 |
0eb106d6adeaced34e54123ff962ae91bb198709 |
|
25-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified CASL_DL (printing still goes wrong)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16031 cec4b9c1-7d33-0410-9eda-942365e851bb |
55cf6e01272ec475edea32aa9b7923de2d36cb42 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7.2 requires language with flexible instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0f1794e365dd347e97b37d7d22b2fce27296fa1 |
|
07-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-established separate relation type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15490 cec4b9c1-7d33-0410-9eda-942365e851bb |
dece9056c18ada64bcc8f2fba285270374139ee8 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a reflexive sort relation and avoid a separate sort set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 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 |
05bf9cbe382548c2665dd01a6a402640c9ec3813 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more LANGUAGE pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13493 cec4b9c1-7d33-0410-9eda-942365e851bb |
beaca377b12af82c604c2622a0838e77e2b09fe6 |
|
28-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
used mapNamed for sentence translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13009 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 |
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 |
83b3260413a3b1b7dee1f9c4d3249dec994a875c |
|
16-Apr-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added signature as parameter for symbol translation along comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11695 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 |
1019f6e38333af71a77ae02703688a07749def9d |
|
02-Dec-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
removed clutter from CASL_DL2CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11138 cec4b9c1-7d33-0410-9eda-942365e851bb |
a14767aeac3e78ed100f5b75e210ba563ee10dba |
|
24-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused the same proof tree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10890 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 |
90e8679b4bc38316fce1c6f438bf3e9184a65437 |
|
23-May-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted trailing white spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10019 cec4b9c1-7d33-0410-9eda-942365e851bb |
359f1eda4f71c68cd0c2d071e1129cf99a2c1c83 |
|
15-May-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
fixed bug in CASL_DL2CASL that prevented the view in MoreCats from working, it was a subtle subsorting mismatch in the signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10008 cec4b9c1-7d33-0410-9eda-942365e851bb |
49c38f270d9c13ff5f94a8b39cacfdc56c0510d0 |
|
13-May-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
fixed prover bug
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10004 cec4b9c1-7d33-0410-9eda-942365e851bb |
81d9093fc08fd0897fc21ded214a7bbe0c796906 |
|
09-May-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added top sorts to translated signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9998 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b3a2f98d1cd01fc9e0591f69507e20526727559 |
|
08-May-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added CASL_DL sublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9996 cec4b9c1-7d33-0410-9eda-942365e851bb |
2018084d6189a68640c516ca3e340d879f40f0ac |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
marked inclusion comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9800 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b2f3b72e82e28b34db9c69af2d1ec38f228272e |
|
12-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended CASL morphisms with identity or inclusion tag
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9751 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9062d0570e060fc81cf0d1c06c33223eb99a578 |
|
26-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added to DL:
unversal role
self concept
SuperRoleDeclarations
improved analysis
Added to CASL_DL:
Qualified number restrictions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9650 cec4b9c1-7d33-0410-9eda-942365e851bb |
af30b44c4bae99a1c37fe53b8a70c7eb0a380b66 |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to get the sublogic stuff right
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9290 cec4b9c1-7d33-0410-9eda-942365e851bb |
5bed2c62278d4f062c980a72c631578a9ee4a608 |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9286 cec4b9c1-7d33-0410-9eda-942365e851bb |
72f39d07062c0e584ce75597364a726917f345ea |
|
29-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
fixed bug in CASL_DL->CASL comorphism, it should be ok now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9269 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a1002681cd9bf4919fb906bbd57619ddcb061dd |
|
29-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Fixed Bug in cardinality restrictions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9266 cec4b9c1-7d33-0410-9eda-942365e851bb |
97e817f33dd310e310d02412b0638744593c4bb9 |
|
28-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added docs for CASL_DL2CASL + Sublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9262 cec4b9c1-7d33-0410-9eda-942365e851bb |
af569976499dad6c641d6ddb4a83326b6612e59a |
|
28-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
removed hacks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9259 cec4b9c1-7d33-0410-9eda-942365e851bb |
84b5399665d00a782d3197ceb1569f5d3ca14e3a |
|
28-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
CASL_DL2CASL is almost ready, Nothing is missing, removed some crap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9258 cec4b9c1-7d33-0410-9eda-942365e851bb |
56c56b2181e76c239929ddade2925ba5c3f3fffd |
|
26-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9243 cec4b9c1-7d33-0410-9eda-942365e851bb |
afae8493e1c904789e3352f6daae63bd66cf057d |
|
26-Nov-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added QuickCheck model checker for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9241 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1c107649b5129f2a50bd0645663e7e2fb28f208 |
|
21-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
changes to darwin and stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9229 cec4b9c1-7d33-0410-9eda-942365e851bb |