| author | Christian Urban <urbanc@in.tum.de> |
| Fri, 09 Sep 2011 10:27:29 +0100 | |
| changeset 3003 | 8e8aabf01f52 |
| 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" |