![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| doc_template | 1992-12-04 12:51 | 206 | |
| all_subgoals.doc | 1992-12-04 12:51 | 596 | |
| name_current_proof.doc | 1992-12-04 12:51 | 634 | |
| auto_cancel.doc | 1992-12-04 12:51 | 654 | |
| show_tac.doc | 1992-12-04 12:51 | 674 | |
| move_to_proof.doc | 1992-12-04 12:51 | 700 | |
| remove_proof.doc | 1992-12-04 12:51 | 715 | |
| new_goal.doc | 1992-12-04 12:51 | 728 | |
| current_goal.doc | 1992-12-04 12:51 | 736 | |
| do_tacf.doc | 1992-12-04 12:51 | 750 | |
| proven.doc | 1992-12-04 12:51 | 752 | |
| rm_proof.doc | 1992-12-04 12:51 | 759 | |
| show_all_proofs.doc | 1992-12-04 12:51 | 781 | |
| complete_proof.doc | 1992-12-04 12:51 | 826 | |
| show_the_tactic.doc | 1992-12-04 12:51 | 858 | |
| show_all_subgoals.doc | 1992-12-04 12:51 | 916 | |
| current_proof.doc | 1992-12-04 12:51 | 1.0K | |
| subgoal_tac.doc | 1992-12-04 12:51 | 1.2K | |
| store_thm.doc | 1992-12-04 12:51 | 1.2K | |
| cancel_tac.doc | 1992-12-04 12:51 | 1.3K | |
| do_tac.doc | 1992-12-04 12:51 | 1.4K | |
| compact.doc | 1992-12-04 12:51 | 2.3K | |