Index of /pandora/bin/Pandora/Tutorial/Heuristics

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 TryLemma.class                           2006-10-29 22:08  2.6K  
 TryNotIntroduction.class                 2006-10-29 22:08  3.3K  
 ApplyTick.class                          2006-10-29 22:08  3.3K  
 TryAndIntroduction.class                 2006-10-29 22:08  3.4K  
 TryArrowIntroduction.class               2006-10-29 22:08  3.4K  
 TryProofByContradiction.class            2006-10-29 22:08  3.6K  
 TryNotNotElimination.class               2006-10-29 22:08  3.7K  
 TryIfAndOnlyIfIntroduction.class         2006-10-29 22:08  3.7K  
 TryIfAndOnlyIfIntroductionDerived.class  2006-10-29 22:08  4.1K  
 ApplyNotNotElimination.class             2006-10-29 22:08  4.2K  
 ApplyAndElimination.class                2006-10-29 22:08  4.3K  
 ApplyBottomElimination.class             2006-10-29 22:08  4.3K  
 ApplyAndIntroduction.class               2006-10-29 22:08  4.6K  
 TryArrowEliminationBackwards.class       2006-10-29 22:08  4.7K  
 TryArrowEliminationForwards.class        2006-10-29 22:08  4.7K  
 TryIfAndOnlyIfEliminationForwards.class  2006-10-29 22:08  4.8K  
 Heuristic.class                          2006-10-29 22:08  4.8K  
 ApplyNotElimination.class                2006-10-29 22:08  4.8K  
 TryIfAndOnlyIfEliminationBackwards.class 2006-10-29 22:08  4.9K  
 TryOrIntroduction.class                  2006-10-29 22:08  4.9K  
 ApplyArrowElimination.class              2006-10-29 22:08  5.0K  
 ApplyOrIntroduction.class                2006-10-29 22:08  5.3K  
 TryBottomIntroduction.class              2006-10-29 22:08  5.7K  
 TryOrElimination.class                   2006-10-29 22:08  5.8K  
 TryLawOfExcludedMiddle.class             2006-10-29 22:08  6.4K  
 TryAndElimination.class                  2006-10-29 22:08  6.5K