equal
deleted
inserted
replaced
132 "print_locale" |
132 "print_locale" |
133 "print_locales" |
133 "print_locales" |
134 "print_methods" |
134 "print_methods" |
135 "print_rules" |
135 "print_rules" |
136 "print_simpset" |
136 "print_simpset" |
|
137 "print_statement" |
137 "print_syntax" |
138 "print_syntax" |
138 "print_tcset" |
139 "print_tcset" |
139 "print_theorems" |
140 "print_theorems" |
140 "print_theory" |
141 "print_theory" |
141 "print_trans_rules" |
142 "print_trans_rules" |
290 "print_locale" |
291 "print_locale" |
291 "print_locales" |
292 "print_locales" |
292 "print_methods" |
293 "print_methods" |
293 "print_rules" |
294 "print_rules" |
294 "print_simpset" |
295 "print_simpset" |
|
296 "print_statement" |
295 "print_syntax" |
297 "print_syntax" |
296 "print_tcset" |
298 "print_tcset" |
297 "print_theorems" |
299 "print_theorems" |
298 "print_theory" |
300 "print_theory" |
299 "print_trans_rules" |
301 "print_trans_rules" |