| Tue, 20 Sep 2005 17:01:43 +0200 | webertj | undone the previous change: show_hyps not supported anymore | changeset | files |
| Tue, 20 Sep 2005 16:19:51 +0200 | webertj | pointers to src/HOL/Tools/sat_solver.ML added in comments | changeset | files |
| 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 |
| Tue, 20 Sep 2005 14:17:31 +0200 | wenzelm | HOL-ex: Library/Commutative_Ring.thy; | changeset | files |
| Tue, 20 Sep 2005 14:13:20 +0200 | wenzelm | moved Tools/comm_ring.ML to Library; | changeset | files |