| 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 |
| Mon, 06 Oct 2014 21:21:46 +0200 | nipkow | tuned | changeset | files |
| Mon, 06 Oct 2014 19:55:49 +0200 | wenzelm | improved spelling of formal INCOMPATIBILITY in historic versions (!) -- to avoid ad-hoc word completion multiply such lapses; | changeset | files |