Index of /pandora/bin/Pandora/ProofStructure

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Signature/              2006-10-29 22:09    -   
 ProofItem.class         2006-10-29 22:08  1.9K  
 Line.class              2006-10-29 22:08  3.4K  
 Justification/          2006-10-29 22:09    -   
 Formula/                2006-10-29 22:09    -   
 EmptyLine.class         2006-10-29 22:08  1.3K  
 DoubleBox.class         2006-10-29 22:08  5.4K  
 DottedDoubleBox.class   2006-10-29 22:08  3.6K  
 CommentLine.class       2006-10-29 22:08  1.7K  
 BoxException.class      2006-10-29 22:08  247   
 Box.class               2006-10-29 22:08   22K