drwxr-xr-x | [up] | |||
-rw-r--r-- | 2005-07-07 12:42 +0200 | 2297 | c_isabelle_lemmas.gif | file | revisions | annotate |
-rw-r--r-- | 2005-07-07 12:42 +0200 | 9668 | isabelle.gif | file | revisions | annotate |
-rw-r--r-- | 2005-07-07 12:42 +0200 | 70171 | isabelle_pg_screenshot_big.png | file | revisions | annotate |
-rw-r--r-- | 2005-07-07 12:42 +0200 | 42838 | isabelle_pg_screenshot_small.png | file | revisions | annotate |