| Mon, 12 Aug 2013 22:38:39 +0200 |
traytel |
temporary sorry's for temporarily nonterminating (due to 2b430bbb5a1a) proofs
|
file |
diff |
annotate
|
| Thu, 08 Aug 2013 12:01:02 +0200 |
traytel |
filter function on streams
|
file |
diff |
annotate
|
| Mon, 29 Apr 2013 09:10:49 +0200 |
blanchet |
renamed BNF "(co)data" commands to names that are closer to their final names
|
file |
diff |
annotate
|
| Fri, 26 Apr 2013 11:04:46 +0200 |
blanchet |
put an underscore in prefix
|
file |
diff |
annotate
|
| Thu, 25 Apr 2013 17:25:10 +0200 |
blanchet |
compile
|
file |
diff |
annotate
|
| Thu, 25 Apr 2013 17:13:24 +0200 |
blanchet |
adjusted stream library to coinduct attributes
|
file |
diff |
annotate
|
| Thu, 25 Apr 2013 10:31:10 +0200 |
traytel |
specify nicer names for map, set and rel in the stream library
|
file |
diff |
annotate
|
| Wed, 24 Apr 2013 17:47:22 +0200 |
blanchet |
renamed "set_natural" to "set_map", reflecting {Bl,Po,Tr} concensus
|
file |
diff |
annotate
|
| Wed, 24 Apr 2013 12:15:06 +0200 |
traytel |
took out workaround for bug fixed in 5af40820948b
|
file |
diff |
annotate
|
| Thu, 11 Apr 2013 16:03:11 +0200 |
traytel |
installed case translations in BNF package
|
file |
diff |
annotate
|
| Sun, 24 Mar 2013 12:07:31 +0100 |
traytel |
simple case syntax for stream (stolen from AFP/Coinductive)
|
file |
diff |
annotate
|
| Tue, 19 Mar 2013 15:59:58 +0100 |
traytel |
extended stream library
|
file |
diff |
annotate
|
| Fri, 15 Mar 2013 10:08:23 +0100 |
traytel |
extended stream library (sdrop_while)
|
file |
diff |
annotate
|
| Wed, 13 Mar 2013 10:47:00 +0100 |
traytel |
nitpick setup and code generation for streams
|
file |
diff |
annotate
|
| Tue, 05 Mar 2013 17:18:02 +0100 |
traytel |
extended stream library a little more
|
file |
diff |
annotate
|
| Tue, 05 Mar 2013 17:10:49 +0100 |
traytel |
extended stream library
|
file |
diff |
annotate
|
| Fri, 15 Feb 2013 11:31:59 +0100 |
traytel |
extended stream library
|
file |
diff |
annotate
|
| Thu, 07 Feb 2013 11:57:42 +0100 |
traytel |
infix syntax for streams (reflecting the one for lists)
|
file |
diff |
annotate
|
| Thu, 13 Dec 2012 15:39:07 +0100 |
traytel |
short library for streams
|
file |
diff |
annotate
|
| Thu, 27 Sep 2012 00:40:51 +0200 |
blanchet |
modernized examples;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2012 10:01:00 +0200 |
blanchet |
tweaked theorem names (in particular, dropped s's)
|
file |
diff |
annotate
|
| Wed, 26 Sep 2012 10:00:59 +0200 |
blanchet |
renamed "dtor_rel_coinduct" etc. to "dtor_coinduct"
|
file |
diff |
annotate
|
| Sun, 23 Sep 2012 14:52:53 +0200 |
blanchet |
adapted examples to new names
|
file |
diff |
annotate
|
| Fri, 21 Sep 2012 16:45:06 +0200 |
blanchet |
renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
|
file |
diff |
annotate
| base
|