| Thu, 01 Jul 2010 16:54:44 +0200 | haftmann | "prod" and "sum" replace "*" and "+" respectively | file | diff | annotate |
| Thu, 10 Jun 2010 12:24:03 +0200 | haftmann | tuned quotes, antiquotations and whitespace | file | diff | annotate |
| Fri, 19 Feb 2010 14:47:01 +0100 | haftmann | moved remaning class operations from Algebras.thy to Groups.thy | file | diff | annotate |
| Wed, 10 Feb 2010 14:12:04 +0100 | haftmann | moved less_eq, less to Orderings.thy; moved abs, sgn to Groups.thy | file | diff | annotate |
| Thu, 28 Jan 2010 11:48:49 +0100 | haftmann | new theory Algebras.thy for generic algebraic structures | file | diff | annotate |
| Wed, 04 Mar 2009 10:47:20 +0100 | nipkow | Made Option a separate theory and renamed option_map to Option.map | file | diff | annotate |
| Fri, 12 Oct 2007 08:25:48 +0200 | haftmann | moved class power to theory Power | file | diff | annotate |