| 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 |