equal
deleted
inserted
replaced
381 "boogie_status" |
381 "boogie_status" |
382 "class_deps" |
382 "class_deps" |
383 "code_deps" |
383 "code_deps" |
384 "code_thms" |
384 "code_thms" |
385 "display_drafts" |
385 "display_drafts" |
386 "export_code" |
|
387 "find_consts" |
386 "find_consts" |
388 "find_theorems" |
387 "find_theorems" |
389 "find_unused_assms" |
388 "find_unused_assms" |
390 "full_prf" |
389 "full_prf" |
391 "header" |
390 "header" |
508 "defs" |
507 "defs" |
509 "domain" |
508 "domain" |
510 "domain_isomorphism" |
509 "domain_isomorphism" |
511 "domaindef" |
510 "domaindef" |
512 "equivariance" |
511 "equivariance" |
|
512 "export_code" |
513 "extract" |
513 "extract" |
514 "extract_type" |
514 "extract_type" |
515 "fixrec" |
515 "fixrec" |
516 "fun" |
516 "fun" |
517 "hide_class" |
517 "hide_class" |