| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Fri, 26 Jul 2013 15:11:36 +0200 | |
| changeset 548 | 2b94e3ceef8e |
| parent 205 | f8d4393d6fdd |
| permissions | -rw-r--r-- |
|
205
f8d4393d6fdd
added infrastructure to generate the keyword file for simple_inductive
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
1 |
no_document use_thy "../Simple_Inductive_Package"; |