| 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 |
| Tue, 07 Oct 2014 23:12:08 +0200 | wenzelm | more antiquotations; | changeset | files |
| Tue, 07 Oct 2014 22:54:49 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 07 Oct 2014 22:35:11 +0200 | wenzelm | more antiquotations; | changeset | files |
| Tue, 07 Oct 2014 21:44:41 +0200 | wenzelm | clarified whitespace; | changeset | files |
| Tue, 07 Oct 2014 21:29:59 +0200 | wenzelm | more cartouches; | changeset | files |
| Tue, 07 Oct 2014 21:28:24 +0200 | wenzelm | more cartouches; | changeset | files |
| Tue, 07 Oct 2014 21:11:18 +0200 | wenzelm | more cartouches; | changeset | files |
| Tue, 07 Oct 2014 21:01:31 +0200 | wenzelm | merged | changeset | files |
| Tue, 07 Oct 2014 20:59:46 +0200 | wenzelm | more cartouches; | changeset | files |
| Tue, 07 Oct 2014 20:43:18 +0200 | wenzelm | more cartouches; | changeset | files |
| Tue, 07 Oct 2014 20:34:17 +0200 | wenzelm | more symbols; | changeset | files |
| Tue, 07 Oct 2014 20:27:31 +0200 | wenzelm | more cartouches; | changeset | files |
| Tue, 07 Oct 2014 14:53:51 +0200 | wenzelm | added update_cartouches tool; | changeset | files |
| Tue, 07 Oct 2014 11:44:25 +0200 | wenzelm | removed pointless regexp flags; | changeset | files |
| Tue, 07 Oct 2014 14:02:24 +0200 | hoelzl | fix document generation for HOL-Probability | changeset | files |
| Tue, 07 Oct 2014 10:48:29 +0200 | hoelzl | move Stream theory from Datatype_Examples to Library | changeset | files |
| Tue, 07 Oct 2014 10:34:24 +0200 | hoelzl | add Giry monad | changeset | files |