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