Tue, 20 Sep 2005 16:17:34 +0200 | haftmann | introduced AList module in favor of assoc etc. | changeset | files |
Tue, 20 Sep 2005 15:12:40 +0200 | webertj | new menu item show-sort-hypotheses to toggle show_hyps | changeset | files |
Tue, 20 Sep 2005 14:20:58 +0200 | wenzelm | HOL/ex/Chinese.thy; | changeset | files |