Index of /pandora/bin/icons

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[IMG] next.gif                2006-10-29 22:08   79   
[IMG] notNot.jpg              2006-10-29 22:08  421   
[IMG] reflex.jpg              2006-10-29 22:08  438   
[IMG] tick.jpg                2006-10-29 22:08  470   
[IMG] eqSub.jpg               2006-10-29 22:08  508   
[IMG] trustMe.jpg             2006-10-29 22:08  528   
[IMG] newProof.jpg            2006-10-29 22:08  530   
[IMG] notElim.jpg             2006-10-29 22:08  531   
[IMG] orElim.jpg              2006-10-29 22:08  532   
[IMG] bottomInt.jpg           2006-10-29 22:08  534   
[IMG] orInt.jpg               2006-10-29 22:08  534   
[IMG] lemma.jpg               2006-10-29 22:08  535   
[IMG] andElim.jpg             2006-10-29 22:08  536   
[IMG] andInt.jpg              2006-10-29 22:08  536   
[IMG] faArrowElim.jpg         2006-10-29 22:08  537   
[IMG] notInt.jpg              2006-10-29 22:08  537   
[IMG] bottomElim.jpg          2006-10-29 22:08  539   
[IMG] iffElim.jpg             2006-10-29 22:08  539   
[IMG] iffInt.jpg              2006-10-29 22:08  541   
[IMG] faElim.jpg              2006-10-29 22:08  542   
[IMG] arrowElim.jpg           2006-10-29 22:08  543   
[IMG] arrowInt.jpg            2006-10-29 22:08  545   
[IMG] faInt.jpg               2006-10-29 22:08  545   
[IMG] saveProof.jpg           2006-10-29 22:08  545   
[IMG] teElim.jpg              2006-10-29 22:08  548   
[IMG] teInt.jpg               2006-10-29 22:08  552   
[IMG] faArrowInt.jpg          2006-10-29 22:08  553   
[IMG] pc.jpg                  2006-10-29 22:08  558   
[IMG] faArrowInt1.jpg         2006-10-29 22:08  566   
[IMG] closeProof.jpg          2006-10-29 22:08  582   
[IMG] undoProof.jpg           2006-10-29 22:08  587   
[IMG] printProof.jpg          2006-10-29 22:08  605   
[IMG] clearBox.jpg            2006-10-29 22:08  651   
[IMG] openProof.jpg           2006-10-29 22:08  667   
[IMG] dump.jpg                2006-10-29 22:08  680   
[IMG] killBox.jpg             2006-10-29 22:08  682   
[IMG] exit.gif                2006-10-29 22:08  929   
[IMG] forward.gif             2006-10-29 22:08  958   
[IMG] back.gif                2006-10-29 22:08  963   
[IMG] help.gif                2006-10-29 22:08  1.0K  
[IMG] home.gif                2006-10-29 22:08  1.0K  
[IMG] pandora.jpg             2006-10-29 22:08  2.0K  
[IMG] andElim.ico             2006-10-29 22:08  3.2K  
[IMG] andInt.ico              2006-10-29 22:08  3.2K  
[IMG] arrowElim.ico           2006-10-29 22:08  3.2K  
[IMG] arrowInt.ico            2006-10-29 22:08  3.2K  
[IMG] bottomElim.ico          2006-10-29 22:08  3.2K  
[IMG] bottomInt.ico           2006-10-29 22:08  3.2K  
[IMG] clearBox.ico            2006-10-29 22:08  3.2K  
[IMG] closeProof.ico          2006-10-29 22:08  3.2K  
[IMG] dump.ico                2006-10-29 22:08  3.2K  
[IMG] eqSub.ico               2006-10-29 22:08  3.2K  
[IMG] exclMid.ico             2006-10-29 22:08  3.2K  
[IMG] faArrowElim.ico         2006-10-29 22:08  3.2K  
[IMG] faArrowInt.ico          2006-10-29 22:08  3.2K  
[IMG] faElim.ico              2006-10-29 22:08  3.2K  
[IMG] faInt.ico               2006-10-29 22:08  3.2K  
[IMG] iffElim.ico             2006-10-29 22:08  3.2K  
[IMG] iffElimD.ico            2006-10-29 22:08  3.2K  
[IMG] iffInt.ico              2006-10-29 22:08  3.2K  
[IMG] iffIntD.ico             2006-10-29 22:08  3.2K  
[IMG] killBox.ico             2006-10-29 22:08  3.2K  
[IMG] lemma.ico               2006-10-29 22:08  3.2K  
[IMG] newProof.ico            2006-10-29 22:08  3.2K  
[IMG] notElim.ico             2006-10-29 22:08  3.2K  
[IMG] notInt.ico              2006-10-29 22:08  3.2K  
[IMG] notNot.ico              2006-10-29 22:08  3.2K  
[IMG] openProof.ico           2006-10-29 22:08  3.2K  
[IMG] orElim.ico              2006-10-29 22:08  3.2K  
[IMG] orInt.ico               2006-10-29 22:08  3.2K  
[IMG] pc.ico                  2006-10-29 22:08  3.2K  
[IMG] printProof.ico          2006-10-29 22:08  3.2K  
[IMG] redoProof.ico           2006-10-29 22:08  3.2K  
[IMG] reflex.ico              2006-10-29 22:08  3.2K  
[IMG] saveProof.ico           2006-10-29 22:08  3.2K  
[IMG] teElim.ico              2006-10-29 22:08  3.2K  
[IMG] teInt.ico               2006-10-29 22:08  3.2K  
[IMG] tick.ico                2006-10-29 22:08  3.2K  
[IMG] trustMe.ico             2006-10-29 22:08  3.2K  
[IMG] undoProof.ico           2006-10-29 22:08  3.2K  
[IMG] exclMid.jpg             2006-10-29 22:08  5.1K  
[IMG] iffElimD.jpg            2006-10-29 22:08  5.1K  
[IMG] iffIntD.jpg             2006-10-29 22:08  5.1K  
[IMG] redoProof.jpg           2006-10-29 22:08  5.1K  
[IMG] pandora.ico             2006-10-29 22:08   13K
Apache Server at www.doc.ic.ac.uk Port 80