equal
deleted
inserted
replaced
270 "subsubsect" |
270 "subsubsect" |
271 "subsubsection" |
271 "subsubsection" |
272 "syntax" |
272 "syntax" |
273 "syntax_declaration" |
273 "syntax_declaration" |
274 "term" |
274 "term" |
|
275 "term_cartouche" |
275 "termination" |
276 "termination" |
276 "text" |
277 "text" |
|
278 "text_cartouche" |
277 "text_raw" |
279 "text_raw" |
278 "then" |
280 "then" |
279 "theorem" |
281 "theorem" |
280 "theorems" |
282 "theorems" |
281 "theory" |
283 "theory" |
451 "sledgehammer" |
453 "sledgehammer" |
452 "smt_status" |
454 "smt_status" |
453 "solve_direct" |
455 "solve_direct" |
454 "spark_status" |
456 "spark_status" |
455 "term" |
457 "term" |
|
458 "term_cartouche" |
456 "thm" |
459 "thm" |
457 "thm_deps" |
460 "thm_deps" |
458 "thy_deps" |
461 "thy_deps" |
459 "try" |
462 "try" |
460 "try0" |
463 "try0" |
589 "spark_types" |
592 "spark_types" |
590 "statespace" |
593 "statespace" |
591 "syntax" |
594 "syntax" |
592 "syntax_declaration" |
595 "syntax_declaration" |
593 "text" |
596 "text" |
|
597 "text_cartouche" |
594 "text_raw" |
598 "text_raw" |
595 "theorems" |
599 "theorems" |
596 "translations" |
600 "translations" |
597 "type_notation" |
601 "type_notation" |
598 "type_synonym" |
602 "type_synonym" |