Size of this preview: 768 × 568 pixels. Other resolutions: 76 × 56 pixels   192 × 142 pixels   384 × 284 pixels   576 × 426 pixels   768 × 568 pixels  

works:cf_isabelle_1.gif ( 768 × 568 pixels )