author | Walther Neuper <neuper@ist.tugraz.at> |
Fri, 13 Sep 2013 18:57:11 +0200 | |
changeset 52102 | cd5494eb08fd |
child 59472 | 3e904f8ec16c |
permissions | -rw-r--r-- |
neuper@52102 | 1 |
theory Bar imports Pure begin |
neuper@52102 | 2 |
ML {* |
neuper@52102 | 3 |
val bar_data = "bar_data" |
neuper@52102 | 4 |
*} |
neuper@52102 | 5 |
end |