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 |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
1dfa74e3151ce63c12483d7268fe096d82e82076 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
mkVName automatically adds AltSyntax for known constants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17132 cec4b9c1-7d33-0410-9eda-942365e851bb |
00fcdd360239f3c8f5f24df748f98df812ed06ff |
|
14-Feb-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Fixed Warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16659 cec4b9c1-7d33-0410-9eda-942365e851bb |
3596e64ec2f7c1d70dc4e975f7e3ec23a8e1eb67 |
|
06-Oct-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed more issues with the Comorphism HolLight -> Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16237 cec4b9c1-7d33-0410-9eda-942365e851bb |
fee2efc4c8946066674b2b5106c5d9764c7e6655 |
|
04-Oct-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed a mixup in the comorphism HolLight -> Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16213 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f3b0aa6cccf5105b22a1ae366ff59706538d937 |
|
04-Oct-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16212 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d86f079b07a6a058cdd6c112d287e01a69d9c0c |
|
07-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made mapDefaultMorphism the default implementation for map_morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16105 cec4b9c1-7d33-0410-9eda-942365e851bb |
16797da77318a0ab7a593d813d9715ef1d7bcf11 |
|
07-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implement map_morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16104 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 |
0fa7a99c279b7b59df56d86c3ada137b191fe8eb |
|
03-May-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed a few problems with signature generation in hollight and translation to isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14997 cec4b9c1-7d33-0410-9eda-942365e851bb |
34626ff7551c3ceead22d049427a0b0e0d33a2e6 |
|
21-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove more types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14980 cec4b9c1-7d33-0410-9eda-942365e851bb |
77bab4d330f3e2bd8104601cf27f2034746df439 |
|
10-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed problems in last commit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14698 cec4b9c1-7d33-0410-9eda-942365e851bb |
24060aac86e45aae1a1c0b23dcb33aaaf60211b5 |
|
10-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed a small mistake regarding the translation of quantifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14696 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab148c20add4ca4c956e36f56859dcc5c4dde187 |
|
10-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed further problems with eta reduction and quantifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14695 cec4b9c1-7d33-0410-9eda-942365e851bb |
87836973cf6a4ed22295454c58242fc926a83f42 |
|
10-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
made eta-reduction transparent in translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14692 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae20fe3ef7832827a9ee018899f30eeae98a706d |
|
09-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
hol light: fixed misc. compiler warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14683 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e09f2a31712311820bd128b55ab4792603959bb |
|
09-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed maintainer for comorphism hollight -> isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14682 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f232df590a3fafc60a218589c3a3f0a3c359b44 |
|
09-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
hol light: fixed the translation of general abstractions along the comorphism to isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14681 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6c883b6eaec47ce57e62656b09577cab13e1be7 |
|
07-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
hol light: fixed sentence naming
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14673 cec4b9c1-7d33-0410-9eda-942365e851bb |
6164cea1d448f9e9dccd9b4c79e57763b2758dde |
|
07-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed comorphism HolLight -> Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14671 cec4b9c1-7d33-0410-9eda-942365e851bb |
69fd87e4b078ee518487bbfa5f4589392a132993 |
|
07-Feb-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed signature translation in comorphism holl light -> isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14499 cec4b9c1-7d33-0410-9eda-942365e851bb |
b93d7514eff107392e0ee8d7b659320fed06d64c |
|
05-Feb-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed signatures and fixed bugs in comorphism hol light -> isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14494 cec4b9c1-7d33-0410-9eda-942365e851bb |
3dfdf17a4bbad3dde93fab8ac588d5acda8a6f42 |
|
04-Feb-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed signatures in HolLight
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14486 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e30b0e74760a90c03c444cd290ba9af9d917f6e |
|
25-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
some HolLight fixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14421 cec4b9c1-7d33-0410-9eda-942365e851bb |
abbba0121ac69d254389160a7b92c52dc279b960 |
|
07-Dec-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
translation of op symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14291 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfe97b511e76495373d74a14600fb54281234669 |
|
07-Dec-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed HolLight Signatures and modified HolLight Signature pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14289 cec4b9c1-7d33-0410-9eda-942365e851bb |
31d6d9286988dc31639d105841296759aeb743e0 |
|
05-Dec-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added pretty printing for hol light
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14285 cec4b9c1-7d33-0410-9eda-942365e851bb |
6fc41a5f93c1859888c6e6d6eb0ddff86d48fb45 |
|
26-Oct-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
hurried implementation of the comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14165 cec4b9c1-7d33-0410-9eda-942365e851bb |