| changeset 74286 | 641300b56ebe |
| parent 71924 | e5df9c8d9d4b |
| child 74287 | f79dfc7656ae |
| 74285:6876e3d5e362 | 74286:641300b56ebe |
|---|---|
11 ML_Bootstrap (global) |
11 ML_Bootstrap (global) |
12 Sessions |
12 Sessions |
13 |
13 |
14 session "Pure-Examples" in Examples = Pure + |
14 session "Pure-Examples" in Examples = Pure + |
15 description " |
15 description " |
16 Notable Examples in Isabelle/Pure. |
16 Notable Examples for Isabelle/Pure. |
17 " |
17 " |
18 theories |
18 theories |
19 First_Order_Logic |
19 First_Order_Logic |
20 Higher_Order_Logic |
20 Higher_Order_Logic |
21 document_files |
21 document_files |