equal
deleted
inserted
replaced
17 ML_file libraryC.sml |
17 ML_file libraryC.sml |
18 ML_file theoryC.sml |
18 ML_file theoryC.sml |
19 ML_file unparseC.sml |
19 ML_file unparseC.sml |
20 ML_file "rule-def.sml" |
20 ML_file "rule-def.sml" |
21 ML_file thmC.sml |
21 ML_file thmC.sml |
22 ML_file "exec-def.sml" |
22 ML_file "eval-def.sml" |
23 ML_file "rewrite-order.sml" |
23 ML_file "rewrite-order.sml" |
24 ML_file rule.sml |
24 ML_file rule.sml |
25 ML_file "error-fill-def.sml" |
25 ML_file "error-fill-def.sml" |
26 ML_file "rule-set.sml" |
26 ML_file "rule-set.sml" |
27 theory BaseDefinitions imports Know_Store |
27 theory BaseDefinitions imports Know_Store |