Index of /pandora/bin/help/Rules

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 and_introduction.html            2006-10-29 22:08  1.7K  
 forwards_backwards_rules.html    2006-10-29 22:08  3.7K  
 rules.html                       2006-10-29 22:08  6.7K  
 and_elimination.html             2006-10-29 22:08  1.9K  
 arrow_elimination.html           2006-10-29 22:08  2.0K  
 arrow_introduction.html          2006-10-29 22:08  1.5K  
 bottom_elimination.html          2006-10-29 22:08  1.8K  
 equality_substitution.html       2006-10-29 22:08  2.8K  
 exists_elimination.html          2006-10-29 22:08  1.6K  
 exists_introduction.html         2006-10-29 22:08  2.5K  
 for_all_arrow_elimination.html   2006-10-29 22:08  2.5K  
 for_all_arrow_introduction.html  2006-10-29 22:08  1.6K  
 for_all_elimination.html         2006-10-29 22:08  1.9K  
 for_all_introduction.html        2006-10-29 22:08  1.6K  
 iff_elimination.html             2006-10-29 22:08  2.2K  
 iff_elimination_(derived).html   2006-10-29 22:08  1.7K  
 iff_introduction.html            2006-10-29 22:08  1.9K  
 iff_introduction_(derived).html  2006-10-29 22:08  1.8K  
 law_of_excluded_middle.html      2006-10-29 22:08  1.8K  
 lemma.html                       2006-10-29 22:08  1.7K  
 not_elimination.html             2006-10-29 22:08  2.0K  
 not_introduction.html            2006-10-29 22:08  1.4K  
 not_not_elimination.html         2006-10-29 22:08  1.7K  
 or_elimination.html              2006-10-29 22:08  1.7K  
 or_introduction.html             2006-10-29 22:08  2.3K  
 proof_by_contradiction_(pc).html 2006-10-29 22:08  1.5K  
 reflex_(x=x).html                2006-10-29 22:08  1.7K  
 tick.html                        2006-10-29 22:08  1.8K  
 top_introduction.html            2006-10-29 22:08  1.5K  
 trust_me.html                    2006-10-29 22:08  1.7K