Category:Icon

Media in category "Icon"

The following 58 files are in this category, out of 58 total.

• 
  Add.gif 16 × 16; 181 bytes
  
• 
  Ae prover.gif 16 × 16; 313 bytes
  
• 
  AllD prover.gif 16 × 16; 341 bytes
  
• 
  AllI prover.gif 16 × 16; 341 bytes
  
• 
  Applied.gif 16 × 16; 193 bytes
  
• 
  Broom prover.gif 16 × 15; 547 bytes
  
• 
  Collapseall.gif 16 × 16; 157 bytes
  
• 
  Collapsed.gif 16 × 16; 107 bytes
  
• 
  CollapsedHover.gif 16 × 16; 95 bytes
  
• 
  ConjE prover.gif 16 × 16; 225 bytes
  
• 
  ConjI prover.gif 16 × 16; 225 bytes
  
• 
  Copy.gif 16 × 16; 381 bytes
  
• 
  Ct prover.gif 16 × 16; 108 bytes
  
• 
  Ctx obj.gif 16 × 16; 590 bytes
  
• 
  Disable xp prover.gif 16 × 16; 600 bytes
  
• 
  Discharged broken.gif 16 × 16; 321 bytes
  
• 
  Discharged.gif 16 × 16; 591 bytes
  
• 
  Down edit.gif 16 × 16; 565 bytes
  
• 
  ExI prover.gif 16 × 16; 133 bytes
  
• 
  Expandall.gif 16 × 16; 165 bytes
  
• 
  Expanded.gif 16 × 16; 78 bytes
  
• 
  ExpandedHover.gif 16 × 16; 72 bytes
  
• 
  Falsify prover.gif 16 × 16; 351 bytes
  
• 
  Goal.gif 16 × 16; 344 bytes
  
• 
  ImpE1 prover.gif 16 × 16; 166 bytes
  
• 
  ImpE2 prover.gif 16 × 16; 166 bytes
  
• 
  Info prover.gif 16 × 16; 267 bytes
  
• 
  Inv prover.gif 16 × 16; 327 bytes
  
• 
  Lasoo prover.gif 18 × 16; 1 KB
  
• 
  Mch obj.gif 16 × 16; 607 bytes
  
• 
  NegE prover.gif 16 × 16; 158 bytes
  
• 
  Newact edit.gif 16 × 15; 107 bytes
  
• 
  Newcomp wiz.gif 16 × 16; 365 bytes
  
• 
  Newcst edit.gif 16 × 16; 97 bytes
  
• 
  Newenuset edit.gif 16 × 16; 112 bytes
  
• 
  Newevt edit.gif 16 × 16; 102 bytes
  
• 
  Newprj wiz.gif 16 × 16; 577 bytes
  
• 
  Newset edit.gif 16 × 16; 90 bytes
  
• 
  Newthm edit.gif 16 × 16; 104 bytes
  
• 
  Newvar edit.gif 16 × 16; 101 bytes
  
• 
  Newvariant edit.gif 16 × 16; 128 bytes
  
• 
  Next prover.gif 16 × 16; 541 bytes
  
• 
  Paste.gif 16 × 16; 605 bytes
  
• 
  Pending broken.gif 16 × 16; 324 bytes
  
• 
  Prev prover.gif 16 × 16; 541 bytes
  
• 
  Problems view.gif 16 × 16; 626 bytes
  
• 
  Remove.gif 16 × 16; 82 bytes
  
• 
  Reviewed broken.gif 16 × 16; 571 bytes
  
• 
  Reviewed pale.gif 16 × 16; 585 bytes
  
• 
  Rv prover.gif 16 × 16; 73 bytes
  
• 
  Sad.gif 48 × 48; 3 KB
  
• 
  Select all prover.gif 16 × 16; 323 bytes
  
• 
  Select none prover.gif 16 × 16; 105 bytes
  
• 
  Showgoal.gif 16 × 16; 855 bytes
  
• 
  Up edit.gif 16 × 16; 564 bytes
  
• 
  Wink-green.gif 48 × 48; 3 KB
  
• 
  Wink.gif 48 × 48; 3 KB
  
• 
  Xp prover.gif 16 × 16; 610 bytes