changeset 6515 | 18e113be12ee |
parent 6402 | 2b23e14dd386 |
child 6855 | 36de02d1a257 |
6514:381fb2b084a4 | 6515:18e113be12ee |
---|---|
7 *) |
7 *) |
8 |
8 |
9 Ord = HOL + |
9 Ord = HOL + |
10 |
10 |
11 (*FIXME move to HOL.thy*) |
11 (*FIXME move to HOL.thy*) |
12 setup attrib_setup |
12 setup hol_setup |
13 setup Classical.setup |
13 setup Classical.setup |
14 setup Blast.setup |
14 setup Blast.setup |
15 setup Clasimp.setup |
15 setup Clasimp.setup |
16 setup simpdata_setup |
|
16 |
17 |
17 |
18 |
18 axclass |
19 axclass |
19 ord < term |
20 ord < term |
20 |
21 |