| eb129032d23e4a485db6e6c2f67f3bb32f28fc6e |
|
17-Nov-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
integrated hollight call into hets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16464 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ebf1f382d1d71d90fdf477878b8e95fb9da45822 |
|
19-Oct-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
hollight: changed exporting to deal with an issue caused by quotient types (different variables with the same name)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16337 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 |
| 093d90ea41a2a0d93d6b26d44341061548487108 |
|
21-Apr-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
finished changes to scripts for exporting from hol light
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14978 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 821a3eed99308efb01c25014f9fbc9aeb62265bb |
|
06-Apr-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed importing from hollight
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14861 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 |
| 4d94c1c9973199079529168cd9d671a13333f2e9 |
|
25-Jan-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed exporting of empty libraries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14419 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2b38990d9bbe5101e892598002be9f7de5493c9b |
|
24-Jan-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added example HolLight/example_binom.hol, added import links to importing from hol light
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14418 cec4b9c1-7d33-0410-9eda-942365e851bb |