| Tue, 23 Feb 2016 16:25:08 +0100 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
| Sun, 27 Dec 2015 22:07:17 +0100 |
wenzelm |
discontinued ASCII replacement syntax <*>;
|
file |
diff |
annotate
|
| Fri, 26 Jun 2015 10:20:33 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Mon, 01 Sep 2014 16:34:39 +0200 |
blanchet |
renamed '(BNF_)Constructions_on_Wellorders' to '(BNF_)Wellorder_Constructions'
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 12:48:19 +0100 |
blanchet |
optimize cardinal bounds involving natLeq (omega)
|
file |
diff |
annotate
|
| Thu, 30 Jan 2014 12:28:05 +0100 |
traytel |
extended cardinals library
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 10:13:40 +0100 |
blanchet |
whitespace tuning
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
rationalized dependencies
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:24:56 +0100 |
blanchet |
compile
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:24:55 +0100 |
blanchet |
renamed '_FP' files to 'BNF_' files
|
file |
diff |
annotate
|
| Fri, 10 Jan 2014 17:24:52 +0100 |
traytel |
basic ordinal arithmetic and cardinals library extension (not relevant for BNFs)
|
file |
diff |
annotate
|
| Tue, 17 Dec 2013 15:56:57 +0100 |
traytel |
reduced cardinals dependencies of (co)datatypes
|
file |
diff |
annotate
|
| Mon, 25 Nov 2013 13:48:00 +0100 |
traytel |
eliminated dependence of Cardinals_FP on Set_Intervals, more precise imports
|
file |
diff |
annotate
|