| Sat, 21 Nov 2009 17:01:44 +0100 | wenzelm | adapted local theory operations -- eliminated odd kind; | changeset | files |
| Sat, 21 Nov 2009 16:07:58 +0100 | wenzelm | minimal Poly/ML startup script; | changeset | files |
| Sat, 21 Nov 2009 15:49:29 +0100 | wenzelm | explicitly mark some legacy freeze operations; | changeset | files |
| Sat, 21 Nov 2009 14:03:36 +0100 | wenzelm | minimal test of current repository version; | changeset | files |