| Tue, 26 Mar 2013 12:20:56 +0100 |
hoelzl |
rename RealDef to Real
|
file |
diff |
annotate
|
| Fri, 12 Oct 2012 18:58:20 +0200 |
wenzelm |
discontinued obsolete typedef (open) syntax;
|
file |
diff |
annotate
|
| Wed, 10 Oct 2012 17:43:23 +0200 |
wenzelm |
eliminated some remaining uses of typedef with implicit set definition;
|
file |
diff |
annotate
|
| Wed, 15 Aug 2012 11:04:56 +0200 |
blanchet |
fixed handling of "int" in the wake of its port to the quotient package
|
file |
diff |
annotate
|
| Wed, 30 May 2012 18:09:23 +0200 |
huffman |
temporarily comment out nitpick examples broken by changes to Int.thy
|
file |
diff |
annotate
|
| Fri, 11 May 2012 00:45:24 +0200 |
blanchet |
fixed "real" after they were redefined as a 'quotient_type'
|
file |
diff |
annotate
|
| Thu, 10 May 2012 12:23:20 +0200 |
huffman |
temporarily comment out broken nitpick example
|
file |
diff |
annotate
|
| Fri, 23 Mar 2012 14:17:29 +0100 |
kuncar |
fix Quotient_Examples
|
file |
diff |
annotate
|
| Mon, 09 Jan 2012 18:32:56 +0100 |
blanchet |
revert unintended "sledgehammer" call
|
file |
diff |
annotate
|
| Tue, 03 Jan 2012 23:09:27 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Tue, 03 Jan 2012 23:03:49 +0100 |
blanchet |
updated Nitpick docs after "set" reintroduction
|
file |
diff |
annotate
|
| Tue, 03 Jan 2012 18:33:18 +0100 |
blanchet |
no abuse of notation
|
file |
diff |
annotate
|
| Sat, 24 Dec 2011 15:53:10 +0100 |
haftmann |
adjusted to set/pred distinction by means of type constructor `set`
|
file |
diff |
annotate
|
| Wed, 30 Nov 2011 16:27:10 +0100 |
wenzelm |
prefer typedef without extra definition and alternative name;
|
file |
diff |
annotate
|
| Fri, 23 Sep 2011 10:31:12 +0200 |
blanchet |
synchronized section names with manual
|
file |
diff |
annotate
|