| author | wenzelm |
| Fri, 09 Dec 1994 16:44:31 +0100 | |
| changeset 777 | c007eba368b7 |
| parent 578 | efc648d29dd0 |
| child 805 | 96f51689cdeb |
| permissions | -rw-r--r-- |
|
578
efc648d29dd0
ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without
lcp
parents:
diff
changeset
|
1 |
(*Dummy theory to document dependencies *) |
|
efc648d29dd0
ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without
lcp
parents:
diff
changeset
|
2 |
|
|
efc648d29dd0
ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without
lcp
parents:
diff
changeset
|
3 |
Inductive = "indrule" |