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 |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
8c7aa750542dcadb94b971be712564a9a8f1d189 |
|
10-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed join to avoid future clash with prelude name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18572 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad1df93673cf323534cdfe18981ad5daae4c90c0 |
|
28-Jul-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed incorrect mail address
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18078 cec4b9c1-7d33-0410-9eda-942365e851bb |
87d946b3c13ffd7f6391aa796e786c2b31b122b1 |
|
19-Apr-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
cleanup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17875 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c51b7e597c1f5f7803204ad9c08cfd76149af84 |
|
27-Mar-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed incorrect sublogic detection
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17829 cec4b9c1-7d33-0410-9eda-942365e851bb |
81e71677da25aee1caa7fef177c45ddd69bbf22e |
|
27-Mar-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed useless semantic extension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17819 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf453a6867cca0aa530bc8cac9eed9c3f70594b4 |
|
29-Nov-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added infrastructure for polymorphism in thf0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17647 cec4b9c1-7d33-0410-9eda-942365e851bb |
8394b397aadaf0c2bfc19c0628f17f83f031a759 |
|
17-Oct-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
replaced SentenceTHF with THFFormula
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17571 cec4b9c1-7d33-0410-9eda-942365e851bb |
3fda1bf52f23ab222ddf44381c9b85946668c6f0 |
|
15-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17563 cec4b9c1-7d33-0410-9eda-942365e851bb |
55dfa79a16e5f0ddb60bceab3717c07e62e65846 |
|
13-Oct-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
made semantic extension explicit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17552 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c57782dd4ab5826b99f53cb541f2e8fff2bdba6 |
|
01-Oct-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
sequents are not in THF0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17461 cec4b9c1-7d33-0410-9eda-942365e851bb |
34f39ea74476d1637e9b21f5c8d18a4c26a6671b |
|
25-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added products to static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17435 cec4b9c1-7d33-0410-9eda-942365e851bb |
8bdf8ddb76255ac9d0c508654bccb4728b0e43f7 |
|
25-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
updated to TPTP bnf syntax v5.4.0.0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17430 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d05f30775dd499da9e262b5c199b63c86cc239b |
|
25-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
restructured sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17427 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c030738bc90ffb417074a9502c0bac2ed414e2e |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
properly implemented MinSublogic for the basic spec and sentences. projections, signatures etc. still broken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17381 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a9fce5398f4621558ca220c66c87cee59adc258 |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
first work for adding proper sublogics to THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17380 cec4b9c1-7d33-0410-9eda-942365e851bb |