/Admin/isatest/settings/ Isabelle2016
drwxr-xr-x [up]
-rw-r--r-- 2016-02-15 14:55 +0100 850 afp-poly
-rw-r--r-- 2016-02-15 14:55 +0100 1117 at-poly
-rw-r--r-- 2016-02-15 14:55 +0100 933 at-poly-e
-rw-r--r-- 2016-02-15 14:55 +0100 1068 at-poly-test
-rw-r--r-- 2016-02-15 14:55 +0100 964 at-sml-dev-e
-rw-r--r-- 2016-02-15 14:55 +0100 856 at64-poly
-rw-r--r-- 2016-02-15 14:55 +0100 1062 mac-poly-M2
-rw-r--r-- 2016-02-15 14:55 +0100 1071 mac-poly-M2-alternative
-rw-r--r-- 2016-02-15 14:55 +0100 1154 mac-poly-M4
-rw-r--r-- 2016-02-15 14:55 +0100 1154 mac-poly-M8
-rw-r--r-- 2016-02-15 14:55 +0100 937 mac-poly-M8-quick_and_dirty
-rw-r--r-- 2016-02-15 14:55 +0100 943 mac-poly-M8-skip_proofs
-rw-r--r-- 2016-02-15 14:55 +0100 966 mac-poly64-M2
-rw-r--r-- 2016-02-15 14:55 +0100 909 mac-poly64-M4
-rw-r--r-- 2016-02-15 14:55 +0100 909 mac-poly64-M8