Fri, 30 Sep 2005 17:24:51 +0200 | aspinall | Schema for PGIP | changeset | files |
Fri, 30 Sep 2005 15:28:43 +0200 | wenzelm | pruned notes about Poly/ML; | changeset | files |
Fri, 30 Sep 2005 15:17:04 +0200 | wenzelm | converted to Isar theory format; | changeset | files |