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 |
ce8869a527d1d72e0a31ed03b721606bd9ca4fea |
|
28-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized axiom generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17450 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 |
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 |
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 |
fcb31dccbc9611878bbe5cc1754a60d05a40ae9b |
|
07-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
more corrections for proper subsort relations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15478 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7ddd5495421698701a2bbc57a5b3390a11d12ca |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added utilities for op types with kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15457 cec4b9c1-7d33-0410-9eda-942365e851bb |
e00f5b4d89ac027e883461aab6248e33ad10ae8e |
|
18-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended sort of term computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14584 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 |
d29201dd5328b88140ce050100693c501852657d |
|
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@13491 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b33802ca26124644f4311db4319376ecffdc8d2 |
|
30-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed inline axioms and created axioms directly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12760 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ed2dc90ec0a57330bbada4065a359e4402319a6 |
|
30-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
exclude a cyclic transitivity (as before)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12758 cec4b9c1-7d33-0410-9eda-942365e851bb |
082464c0cad5903cb7c5857c7e0396f076ada444 |
|
30-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-ordered and renamed generated axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12757 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 |
b672528cf3716da80e94ea29637a26a1882556ec |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12721 cec4b9c1-7d33-0410-9eda-942365e851bb |
5af3f9ca6273fdb9c05bfe9f9a32bf63cf94ff51 |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed comment only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12720 cec4b9c1-7d33-0410-9eda-942365e851bb |
eb69cfe87a80bfb61f040d086d773e7189ec88da |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code and now unnecessary renaming
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12719 cec4b9c1-7d33-0410-9eda-942365e851bb |
afaa83a4ca9cab6b8db80a7d07b8e9823d1d04ab |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
CASL2PCFOL contains no inline axioms any more
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12718 cec4b9c1-7d33-0410-9eda-942365e851bb |
e927ace91d729fa35f6b1d08faf84af28cd139e9 |
|
27-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added list comprehensions to inline axiom translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2480 cec4b9c1-7d33-0410-9eda-942365e851bb |
781d04c5e02635caed8b98f0adcf559f9426a39c |
|
23-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Simplified pretty printing of Ids
test module for getting CASL signs + sens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2464 cec4b9c1-7d33-0410-9eda-942365e851bb |
1633b2910d48fc3c7069dc21530c04d5869eb7ea |
|
23-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Encoding from SubPCLFOL to PCFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2461 cec4b9c1-7d33-0410-9eda-942365e851bb |