| Sun, 21 Mar 2010 17:12:31 +0100 | wenzelm | standard headers; | file | diff | annotate |
| Fri, 30 Sep 2005 15:17:04 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |