Index of /pandora/bin/Pandora/ProofStructure/Formula

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[   ] ThereExists.class                    2006-10-29 22:08  2.7K  
[   ] SingleParamFormula.class             2006-10-29 22:08  1.1K  
[   ] Quantifier.class                     2006-10-29 22:08  3.0K  
[   ] Or.class                             2006-10-29 22:08  3.2K  
[   ] Not.class                            2006-10-29 22:08  2.0K  
[   ] Implies.class                        2006-10-29 22:08  2.9K  
[   ] IfAndOnlyIf.class                    2006-10-29 22:08  3.3K  
[   ] ForAll.class                         2006-10-29 22:08  3.1K  
[   ] Equals.class                         2006-10-29 22:08  3.4K  
[   ] DoubleParamFormula.class             2006-10-29 22:08  2.0K  
[   ] And.class                            2006-10-29 22:08  3.3K  
[   ] Unmatchable.class                    2006-10-29 22:08  465   
[   ] True.class                           2006-10-29 22:08  1.8K  
[   ] Term.class                           2006-10-29 22:08  3.6K  
[   ] Substitution.class                   2006-10-29 22:08  2.0K  
[   ] SimpleTerm.class                     2006-10-29 22:08  3.1K  
[   ] Predicate.class                      2006-10-29 22:08  5.7K  
[   ] PossibleSubstitution.class           2006-10-29 22:08  459   
[   ] Identical.class                      2006-10-29 22:08  459   
[   ] Function.class                       2006-10-29 22:08  5.8K  
[   ] FormulaException.class               2006-10-29 22:08  263   
[   ] Formula.class                        2006-10-29 22:08  4.1K  
[   ] False.class                          2006-10-29 22:08  1.8K  
[   ] Atom.class                           2006-10-29 22:08  295
Apache Server at www.doc.ic.ac.uk Port 80