Index of /pandora/bin/Pandora/ProofStructure/Justification

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] UnaryJustification.class               2006-10-29 22:08  2.4K  
[   ] TrustMeJustification.class             2006-10-29 22:08  826   
[   ] TopIntroduction.class                  2006-10-29 22:08  871   
[   ] TickJustification.class                2006-10-29 22:08  1.5K  
[   ] TickAssumption.class                   2006-10-29 22:08  3.1K  
[   ] TernaryJustification.class             2006-10-29 22:08  3.5K  
[   ] SimpleJustification.class              2006-10-29 22:08  1.0K  
[   ] ReflexJustification.class              2006-10-29 22:08  822   
[   ] QuinaryJustification.class             2006-10-29 22:08  4.5K  
[   ] QuaternaryJustification.class          2006-10-29 22:08  4.0K  
[   ] ProofByContradiction.class             2006-10-29 22:08  1.6K  
[   ] OrIntroduction.class                   2006-10-29 22:08  1.5K  
[   ] OrElimination.class                    2006-10-29 22:08  1.9K  
[   ] NotNot.class                           2006-10-29 22:08  1.5K  
[   ] NotIntroduction.class                  2006-10-29 22:08  1.6K  
[   ] NotElimination.class                   2006-10-29 22:08  1.6K  
[   ] NoJustification.class                  2006-10-29 22:08  824   
[   ] LemmaJustification.class               2006-10-29 22:08  1.5K  
[   ] Justification.class                    2006-10-29 22:08  2.5K  
[   ] IfAndOnlyIfIntroductionForwards.class  2006-10-29 22:08  1.7K  
[   ] IfAndOnlyIfIntroductionDerived.class   2006-10-29 22:08  1.6K  
[   ] IfAndOnlyIfIntroductionBackwards.class 2006-10-29 22:08  1.8K  
[   ] IfAndOnlyIfEliminationDerived.class    2006-10-29 22:08  1.6K  
[   ] IfAndOnlyIfElimination.class           2006-10-29 22:08  1.6K  
[   ] Given.class                            2006-10-29 22:08  789   
[   ] ForAllIntroduction.class               2006-10-29 22:08  1.5K  
[   ] ForAllElimination.class                2006-10-29 22:08  1.5K  
[   ] ForAllArrowIntroduction.class          2006-10-29 22:08  1.6K  
[   ] ForAllArrowElimination.class           2006-10-29 22:08  1.6K  
[   ] ExistsIntroduction.class               2006-10-29 22:08  1.5K  
[   ] ExistsElimination.class                2006-10-29 22:08  1.7K  
[   ] ExcludedMiddle.class                   2006-10-29 22:08  808   
[   ] EqualitySubstitution.class             2006-10-29 22:08  1.6K  
[   ] Conclusion.class                       2006-10-29 22:08  814   
[   ] BottomElimination.class                2006-10-29 22:08  1.5K  
[   ] BinaryJustification.class              2006-10-29 22:08  3.1K  
[   ] Assumption.class                       2006-10-29 22:08  797   
[   ] ArrowIntroduction.class                2006-10-29 22:08  1.6K  
[   ] ArrowElimination.class                 2006-10-29 22:08  1.6K  
[   ] AndIntroduction.class                  2006-10-29 22:08  1.6K  
[   ] AndElimination.class                   2006-10-29 22:08  1.5K
Apache Server at www.doc.ic.ac.uk Port 80