equal
deleted
inserted
replaced
86 "equivariance" |
86 "equivariance" |
87 "exit" |
87 "exit" |
88 "export_code" |
88 "export_code" |
89 "extract" |
89 "extract" |
90 "extract_type" |
90 "extract_type" |
91 "finalconsts" |
|
92 "finally" |
91 "finally" |
93 "find_consts" |
92 "find_consts" |
94 "find_theorems" |
93 "find_theorems" |
95 "find_unused_assms" |
94 "find_unused_assms" |
96 "fix" |
95 "fix" |
476 "domain_isomorphism" |
475 "domain_isomorphism" |
477 "domaindef" |
476 "domaindef" |
478 "equivariance" |
477 "equivariance" |
479 "extract" |
478 "extract" |
480 "extract_type" |
479 "extract_type" |
481 "finalconsts" |
|
482 "fixrec" |
480 "fixrec" |
483 "fun" |
481 "fun" |
484 "hide_class" |
482 "hide_class" |
485 "hide_const" |
483 "hide_const" |
486 "hide_fact" |
484 "hide_fact" |