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 |
ab65d3acbdf1c11c762c17b8e4eb577a0342afcb |
|
27-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
further simplify propositional CASL formulas |
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 |
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 |
0e1354a87b7b8d8e70d815efe6fabc91b03d1b84 |
|
23-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected implication simplification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14331 cec4b9c1-7d33-0410-9eda-942365e851bb |
aae64b58e567d30c1cdc28a8b695a7f1fabb277c |
|
23-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended simplification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14330 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 |
9ab0e17a1478d65b355987bc148e288844df3810 |
|
08-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added negation to class Logic and two instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12970 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 |
de2f13b8310de00ca228385b1530660e036054c2 |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed double spaces after =
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10689 cec4b9c1-7d33-0410-9eda-942365e851bb |
b18d195b9861ee2d46dc8aa594e1a6d9e6f6fc50 |
|
22-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added further simplification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9962 cec4b9c1-7d33-0410-9eda-942365e851bb |
c6fc35c79bfb5d0fe9d1704f21f11a5950dd7eca |
|
22-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added simplification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9957 cec4b9c1-7d33-0410-9eda-942365e851bb |
717dba98f6cc2ff66aa5708c8a81609a9ed80225 |
|
11-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
stripping unused quantifiers is necessary for the inline axiom ga_totality in CASL2SubCFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9346 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 |
e21f3f9d2aa58c9e1e0fcdcf8f3aa5f883141ce9 |
|
27-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplification was wrong for Unique_existential
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5080 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa81865f7d27013d79ad2b577d96a23a56233bea |
|
21-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
further simplify
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4736 cec4b9c1-7d33-0410-9eda-942365e851bb |
f51ba5fcf544482f9c154b182cc23c6694ad1c1b |
|
21-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
filter correctly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4734 cec4b9c1-7d33-0410-9eda-942365e851bb |
a641f80aec50cd5de7800b0f4d5594cc99aa6812 |
|
19-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplifyTerm is needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4716 cec4b9c1-7d33-0410-9eda-942365e851bb |
a927df100087e5df75ea6615a51ba69d1782d2e1 |
|
19-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
only formula mapping needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4715 cec4b9c1-7d33-0410-9eda-942365e851bb |
aed221778567681c97d61fb754ceeb1d38bb1519 |
|
19-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
rewritten using Fold
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4713 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 |
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 |
28c1c3b101e020bc81b11d4862ad84be40cb023c |
|
13-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove duplicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4044 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b99ba0bfc25c0e6ddabcae317d63ebbcf98483e |
|
12-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplification for inlineAxioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4038 cec4b9c1-7d33-0410-9eda-942365e851bb |