| Sat, 22 May 2010 20:00:28 +0200 | wenzelm | removed timing; | changeset | files |
| Sat, 22 May 2010 19:42:20 +0200 | wenzelm | rendering information and style sheets via settings; | changeset | files |
| Fri, 21 May 2010 23:48:48 +0200 | wenzelm | more brackets -- unaligned to prevent odd auto-indentation; | changeset | files |
| Fri, 21 May 2010 23:21:40 +0200 | wenzelm | merged | changeset | files |
| Fri, 21 May 2010 17:16:16 +0200 | haftmann | adjusted to changes in Mapping.thy | changeset | files |
| Fri, 21 May 2010 15:28:25 +0200 | haftmann | merged | changeset | files |
| Fri, 21 May 2010 15:22:37 +0200 | haftmann | tuned | changeset | files |
| Fri, 21 May 2010 15:22:37 +0200 | haftmann | more lemmas about mappings, in particular keys | changeset | files |