| author | Cezary Kaliszyk <kaliszyk@in.tum.de> |
| Wed, 26 May 2010 17:10:05 +0200 | |
| changeset 2191 | 8fdfbec54229 |
| parent 2186 | 762a739c9eb4 |
| child 2368 | d7dfe272b4f8 |
| permissions | -rw-r--r-- |
|
1975
b1281a0051ae
added stub for quotient paper; call with isabelle make qpaper
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
1 |
no_document use_thys ["Quotient", |
|
2186
762a739c9eb4
added FSet to the correct paper
Christian Urban <urbanc@in.tum.de>
parents:
1975
diff
changeset
|
2 |
"LaTeXsugar", |
|
762a739c9eb4
added FSet to the correct paper
Christian Urban <urbanc@in.tum.de>
parents:
1975
diff
changeset
|
3 |
"../Nominal/FSet" ]; |
|
1975
b1281a0051ae
added stub for quotient paper; call with isabelle make qpaper
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
4 |
|
|
b1281a0051ae
added stub for quotient paper; call with isabelle make qpaper
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
5 |
use_thys ["Paper"]; |