| ce66c00b2110ab334eb1e86e05c1c51bf4e190ba |
|
21-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to Isabelle2009
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12994 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6c2f3df1426190c499b886a1f1b45e4c7946bd7c |
|
13-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
make it usable for Isabelle 2009
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12831 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d48b3f098b0961e0be881ef66dc2dc3255a22724 |
|
13-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
Isabelle 2009 change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11902 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 61ed8286ea9913a9a2a762ae33039f9a1965b8f3 |
|
04-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reorganized
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10263 cec4b9c1-7d33-0410-9eda-942365e851bb |