Index of /pandora/bin/Pandora/Rules

Icon  Name                                            Last modified      Size  Description
[PARENTDIR] Parent Directory                                                     -   
[   ] EqualitySubstitutionRule.class                  2006-10-29 22:08   17K  
[   ] ExistsIntroductionRule.class                    2006-10-29 22:08   16K  
[   ] IfAndOnlyIfEliminationRule.class                2006-10-29 22:08   16K  
[   ] ForAllArrowEliminationRule.class                2006-10-29 22:08   15K  
[   ] OrIntroductionRule.class                        2006-10-29 22:08   13K  
[   ] AndEliminationRule.class                        2006-10-29 22:08   10K  
[   ] ArrowEliminationRule.class                      2006-10-29 22:08  9.5K  
[   ] NotEliminationRule.class                        2006-10-29 22:08  9.3K  
[   ] AndIntroductionRule.class                       2006-10-29 22:08  9.2K  
[   ] IfAndOnlyIfEliminationDerivedRule.class         2006-10-29 22:08  9.1K  
[   ] ForAllEliminationRule.class                     2006-10-29 22:08  8.5K  
[   ] IfAndOnlyIfIntroductionRule.class               2006-10-29 22:08  8.3K  
[   ] TickRule.class                                  2006-10-29 22:08  7.9K  
[   ] OrEliminationRule.class                         2006-10-29 22:08  7.7K  
[   ] BottomEliminationRule.class                     2006-10-29 22:08  7.6K  
[   ] ExistsEliminationRule.class                     2006-10-29 22:08  7.4K  
[   ] ExcludedMiddleRule.class                        2006-10-29 22:08  7.4K  
[   ] TrustMeRule.class                               2006-10-29 22:08  7.4K  
[   ] IfAndOnlyIfIntroductionDerivedRule.class        2006-10-29 22:08  7.1K  
[   ] NotNotEliminationRule.class                     2006-10-29 22:08  6.7K  
[   ] ForAllArrowIntroductionRule.class               2006-10-29 22:08  6.4K  
[   ] LemmaRule.class                                 2006-10-29 22:08  6.1K  
[   ] TopIntroductionRule.class                       2006-10-29 22:08  5.6K  
[   ] ReflexRule.class                                2006-10-29 22:08  5.6K  
[   ] ProofByContradictionRule.class                  2006-10-29 22:08  5.5K  
[   ] ForAllIntroductionRule.class                    2006-10-29 22:08  4.9K  
[   ] ArrowIntroductionRule.class                     2006-10-29 22:08  4.6K  
[   ] NotIntroductionRule.class                       2006-10-29 22:08  4.6K  
[   ] EqualitySubstitutionRule$EqSubAlternative.class 2006-10-29 22:08  1.7K  
[   ] BidirectionalRule.class                         2006-10-29 22:08  1.6K  
[   ] Rule.class                                      2006-10-29 22:08  1.1K  
[   ] BackwardsRule.class                             2006-10-29 22:08  576   
[   ] ForwardsRule.class                              2006-10-29 22:08  401   
[   ] CheckingException.class                         2006-10-29 22:08  248   
[   ] AddingException.class                           2006-10-29 22:08  244   
[   ] ApplyException.class                            2006-10-29 22:08  242
Apache Server at www.doc.ic.ac.uk Port 80