equal
deleted
inserted
replaced
113 "guess" |
113 "guess" |
114 "have" |
114 "have" |
115 "header" |
115 "header" |
116 "help" |
116 "help" |
117 "hence" |
117 "hence" |
118 "hide" |
118 "hide_class" |
|
119 "hide_const" |
|
120 "hide_fact" |
|
121 "hide_type" |
119 "inductive" |
122 "inductive" |
120 "inductive_cases" |
123 "inductive_cases" |
121 "inductive_set" |
124 "inductive_set" |
122 "init_toplevel" |
125 "init_toplevel" |
123 "instance" |
126 "instance" |
492 "finalconsts" |
495 "finalconsts" |
493 "fixpat" |
496 "fixpat" |
494 "fixrec" |
497 "fixrec" |
495 "fun" |
498 "fun" |
496 "global" |
499 "global" |
497 "hide" |
500 "hide_class" |
|
501 "hide_const" |
|
502 "hide_fact" |
|
503 "hide_type" |
498 "inductive" |
504 "inductive" |
499 "inductive_set" |
505 "inductive_set" |
500 "instantiation" |
506 "instantiation" |
501 "judgment" |
507 "judgment" |
502 "lemmas" |
508 "lemmas" |