| Wed, 21 Sep 2005 00:07:32 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Tue, 20 Sep 2005 21:09:41 +0200 | wenzelm | use "ML-Systems/smlnj-basis-compat.ML" *after* Interrupt; | changeset | files |
| Tue, 20 Sep 2005 20:16:55 +0200 | wenzelm | fixed proof script of lemma Cond_sound (Why did it stop working anyway?); | changeset | files |
| Tue, 20 Sep 2005 19:38:35 +0200 | webertj | bugfix in "zchaff_with_proofs" | changeset | files |