equal
deleted
inserted
replaced
104 "print_locale" |
104 "print_locale" |
105 "print_locales" |
105 "print_locales" |
106 "print_methods" |
106 "print_methods" |
107 "print_simpset" |
107 "print_simpset" |
108 "print_syntax" |
108 "print_syntax" |
|
109 "print_tcset" |
109 "print_theorems" |
110 "print_theorems" |
110 "print_theory" |
111 "print_theory" |
111 "print_trans_rules" |
112 "print_trans_rules" |
112 "print_translation" |
113 "print_translation" |
113 "proof" |
114 "proof" |
232 "print_locale" |
233 "print_locale" |
233 "print_locales" |
234 "print_locales" |
234 "print_methods" |
235 "print_methods" |
235 "print_simpset" |
236 "print_simpset" |
236 "print_syntax" |
237 "print_syntax" |
|
238 "print_tcset" |
237 "print_theorems" |
239 "print_theorems" |
238 "print_theory" |
240 "print_theory" |
239 "print_trans_rules" |
241 "print_trans_rules" |
240 "prop" |
242 "prop" |
241 "pwd" |
243 "pwd" |