| 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 |
| Tue, 20 Sep 2005 14:10:29 +0200 | wenzelm | added Commutative_Ring (from Main HOL); | changeset | files |
| Tue, 20 Sep 2005 14:06:00 +0200 | wenzelm | Simplifier.inherit_bounds; | changeset | files |
| Tue, 20 Sep 2005 14:04:34 +0200 | wenzelm | TextIO.inputLine: handle IO.Io, assuming it stems from a signal; | changeset | files |
| Tue, 20 Sep 2005 14:03:42 +0200 | wenzelm | get_interrupt: special handling of IO.io now in ML-Systems/smlnj-basis-compat.ML; | changeset | files |
| Tue, 20 Sep 2005 14:03:41 +0200 | wenzelm | removed obsolete thms_containing; | changeset | files |