equal
deleted
inserted
replaced
24 *---------------------------------------------------------------------------*) |
24 *---------------------------------------------------------------------------*) |
25 |
25 |
26 use "usyntax.sml"; |
26 use "usyntax.sml"; |
27 use "thms.sml"; |
27 use "thms.sml"; |
28 use "dcterm.sml"; |
28 use "dcterm.sml"; |
29 use "rules.new.sml"; |
29 use "rules.sml"; |
30 use "thry.sml"; |
30 use "thry.sml"; |
31 |
31 |
32 |
32 |
33 (*---------------------------------------------------------------------------- |
33 (*---------------------------------------------------------------------------- |
34 * Link system and specialize for Isabelle |
34 * Link system and specialize for Isabelle |