| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
file |
diff |
annotate
|
| Mon, 02 Apr 2012 21:26:07 +0100 |
Christian Urban |
tuned proofs
|
file |
diff |
annotate
|
| Fri, 23 Mar 2012 14:17:29 +0100 |
kuncar |
fix Quotient_Examples
|
file |
diff |
annotate
|
| Thu, 17 Nov 2011 18:44:56 +0100 |
bulwahn |
tuned header
|
file |
diff |
annotate
|
| Sat, 08 Jan 2011 00:02:11 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Tue, 30 Nov 2010 17:19:11 +0100 |
haftmann |
adaptions to changes in Equiv_Relation.thy; prefer primrec if possible
|
file |
diff |
annotate
|
| Tue, 09 Nov 2010 14:02:14 +0100 |
haftmann |
fun_rel_def is no simp rule by default
|
file |
diff |
annotate
|
| Tue, 29 Jun 2010 02:18:08 +0100 |
Christian Urban |
cosmetics: avoided statement of raw theorems, used the method descending instead
|
file |
diff |
annotate
|
| Thu, 29 Apr 2010 09:06:35 +0200 |
Cezary Kaliszyk |
Tuning the quotient examples
|
file |
diff |
annotate
| base
|