author | wenzelm |
Sat, 16 Apr 2011 12:46:18 +0200 | |
changeset 42357 | 3305f573294e |
parent 41585 | 45d7da4e4ccf |
child 42360 | da8817d01e7c |
permissions | -rw-r--r-- |
38379
67d71449e85b
more convenient split of class modules: class and class_declaration
haftmann
parents:
38376
diff
changeset
|
1 |
(* Title: Pure/Isar/class_declaration.ML |
24218 | 2 |
Author: Florian Haftmann, TU Muenchen |
3 |
||
38379
67d71449e85b
more convenient split of class modules: class and class_declaration
haftmann
parents:
38376
|