author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Thu, 09 Jul 2015 09:12:44 +0100 | |
changeset 3240 | f80fa0d18d81 |
parent 2856 | e36beb11723c |
permissions | -rw-r--r-- |
2856
e36beb11723c
added a stub for function paper; "isabelle make fnpaper"
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
1 |
no_document use_thy "~~/src/HOL/Library/LaTeXsugar"; |
e36beb11723c
added a stub for function paper; "isabelle make fnpaper"
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
2 |
|
e36beb11723c
added a stub for function paper; "isabelle make fnpaper"
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
3 |
use_thy "Paper" |