| Wed, 08 Oct 2014 17:09:07 +0200 | wenzelm | added parameterized ML antiquotations @{map N}, @{fold N}, @{fold_map N}, @{split_list N}; | changeset | files |
| Wed, 08 Oct 2014 14:34:30 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Oct 2014 13:55:43 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Oct 2014 11:50:25 +0200 | wenzelm | clarified messages depending on options; | changeset | files |
| Wed, 08 Oct 2014 11:09:17 +0200 | wenzelm | simplified "sos" method; | changeset | files |
| Wed, 08 Oct 2014 10:15:04 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 08 Oct 2014 10:03:46 +0200 | wenzelm | tuned spelling; | changeset | files |
| Wed, 08 Oct 2014 10:22:00 +0200 | hoelzl | add Linear Temporal Logic on Streams | changeset | files |
| Wed, 08 Oct 2014 09:09:12 +0200 | Andreas Lochbihler | move Code_Test to HOL/Library; | changeset | files |
| Wed, 08 Oct 2014 00:13:39 +0200 | wenzelm | proper bibliography; | changeset | files |
| Tue, 07 Oct 2014 23:52:34 +0200 | wenzelm | more antiquotations; | changeset | files |
| Tue, 07 Oct 2014 23:29:43 +0200 | wenzelm | more bibtex entries; | changeset | files |