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