| changeset 2077 | f7b87610de16 |
| parent 2074 | b2c7891bef5d |
| child 2083 | af2ff429de9a |
| 2076:dfedb702220a | 2077:f7b87610de16 |
|---|---|
73 |
73 |
74 print_depth 11;step;print_depth 3; |
74 print_depth 11;step;print_depth 3; |
75 |
75 |
76 *) |
76 *) |
77 |
77 |
78 val version_kernel = "sml-050210a-before-asms"; |
78 val version_kernel = "sml-050210b"; |
79 |
79 |
80 print_depth 3; |
80 print_depth 3; |
81 |
81 |
82 (*----- Isabelle2003/src/Pure/library.ML overwritten by later Isa-code*) |
82 (*----- Isabelle2003/src/Pure/library.ML overwritten by later Isa-code*) |
83 fun find_first _ [] = None |
83 fun find_first _ [] = None |