| Tue, 20 Sep 2005 23:36:57 +0200 | wenzelm | fixed proof script of lemma merges_same_conv (Why did it stop working?); | changeset | files |
| Tue, 20 Sep 2005 22:07:36 +0200 | wenzelm | updated; | changeset | files |
| Tue, 20 Sep 2005 22:02:06 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 20 Sep 2005 21:51:06 +0200 | wenzelm | HOL/ex/Chinese.thy; | changeset | files |
| Tue, 20 Sep 2005 21:48:47 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 20 Sep 2005 21:48:37 +0200 | wenzelm | more contributions; | changeset | files |
| Tue, 20 Sep 2005 21:39:00 +0200 | wenzelm | tuned headers; | changeset | files |
| Tue, 20 Sep 2005 21:34:20 +0200 | wenzelm | tuned header; | changeset | files |