Index of /pandora/bin/Pandora/Tutorial/SemanticTableaux

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory                                    -   
[   ] Unifiers.class                 2006-10-29 22:08  868   
[   ] Tableau.class                  2006-10-29 22:08  6.6K  
[   ] OpenNode.class                 2006-10-29 22:08  955   
[   ] FreeVariable.class             2006-10-29 22:08  1.5K  
[   ] EqualityPair.class             2006-10-29 22:08  1.3K  
[   ] Equalities.class               2006-10-29 22:08  4.2K  
[   ] ClosedNode.class               2006-10-29 22:08  1.1K  
[   ] Binding.class                  2006-10-29 22:08  2.3K
Apache Server at www.doc.ic.ac.uk Port 80