| Thu, 01 Jul 2010 16:54:44 +0200 |
"prod" and "sum" replace "*" and "+" respectively
|
file | diff | annotate |
| Thu, 10 Jun 2010 12:24:03 +0200 |
tuned quotes, antiquotations and whitespace
|
file | diff | annotate |
| Tue, 08 Jun 2010 16:37:19 +0200 |
qualified types "+" and nat; qualified constants Ball, Bex, Suc, curry; modernized some specifications
|
file | diff | annotate |
| Fri, 19 Feb 2010 14:47:01 +0100 |
moved remaning class operations from Algebras.thy to Groups.thy
|
file | diff | annotate |
| Thu, 28 Jan 2010 11:48:49 +0100 |
new theory Algebras.thy for generic algebraic structures
|
file | diff | annotate |
| Wed, 15 Apr 2009 15:30:39 +0200 |
theory NatBin now named Nat_Numeral
|
file | diff | annotate |
| Mon, 21 Jan 2008 08:43:30 +0100 |
adjusted to constant and theorem renames
|
file | diff | annotate |
| Thu, 17 May 2007 19:49:40 +0200 |
canonical prefixing of class constants
|
file | diff | annotate |
| Fri, 10 Mar 2006 15:33:48 +0100 |
renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
|
file | diff | annotate |
| Fri, 17 Feb 2006 03:30:50 +0100 |
use monomorphic sequences / scanners
|
file | diff | annotate |
| Mon, 26 Sep 2005 02:27:14 +0200 |
fixed disambiguation problem
|
file | diff | annotate |