| changeset 1296 | ae31bb7774a7 |
| parent 1069 | 66efd8f90fbd |
| child 1361 | 90d615b599d9 |
| 1295:27c1e88a62b4 | 1296:ae31bb7774a7 |
|---|---|
38 use_thy "EquivClass"; |
38 use_thy "EquivClass"; |
39 |
39 |
40 (*printing functions are inherited from FOL*) |
40 (*printing functions are inherited from FOL*) |
41 print_depth 8; |
41 print_depth 8; |
42 |
42 |
43 make_chart (); (*make HTML chart*) |
|
44 |
|
43 val ZF_build_completed = (); (*indicate successful build*) |
45 val ZF_build_completed = (); (*indicate successful build*) |