Index of /ftp/hvg/hol88/contrib/prooftree/help/entries

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]all_subgoals.doc1992-12-04 12:51 596  
[   ]auto_cancel.doc1992-12-04 12:51 654  
[   ]cancel_tac.doc1992-12-04 12:51 1.3K 
[   ]compact.doc1992-12-04 12:51 2.3K 
[   ]complete_proof.doc1992-12-04 12:51 826  
[   ]current_goal.doc1992-12-04 12:51 736  
[   ]current_proof.doc1992-12-04 12:51 1.0K 
[   ]do_tac.doc1992-12-04 12:51 1.4K 
[   ]do_tacf.doc1992-12-04 12:51 750  
[   ]doc_template1992-12-04 12:51 206  
[   ]move_to_proof.doc1992-12-04 12:51 700  
[   ]name_current_proof.doc1992-12-04 12:51 634  
[   ]new_goal.doc1992-12-04 12:51 728  
[   ]proven.doc1992-12-04 12:51 752  
[   ]remove_proof.doc1992-12-04 12:51 715  
[   ]rm_proof.doc1992-12-04 12:51 759  
[   ]show_all_proofs.doc1992-12-04 12:51 781  
[   ]show_all_subgoals.doc1992-12-04 12:51 916  
[   ]show_tac.doc1992-12-04 12:51 674  
[   ]show_the_tactic.doc1992-12-04 12:51 858  
[   ]store_thm.doc1992-12-04 12:51 1.2K 
[   ]subgoal_tac.doc1992-12-04 12:51 1.2K 

Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443