| 4ec7cab4c123781b80d5313b660ee71f1835fa91 |
|
11-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
also rename components for Isabelle |
| 80731efb785166b88edda6c2077f14e2e2858c06 |
|
08-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
extended example |
| 52f21faa2887eff21f27e9a16669dd97216884ac |
|
04-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
new location for runisabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10265 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2764758795be1dc0979461bf966e450c10e776f2 |
|
08-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
test renaming of free types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6786 cec4b9c1-7d33-0410-9eda-942365e851bb |