| 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
|
| Tue, 20 Sep 2005 14:03:40 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 20 Sep 2005 14:03:39 +0200 |
wenzelm |
tuned simprocs;
|
changeset |
files
|
| Tue, 20 Sep 2005 14:03:38 +0200 |
wenzelm |
removed Commutative_Ring hacks;
|
changeset |
files
|
| Tue, 20 Sep 2005 14:03:37 +0200 |
wenzelm |
tuned theory dependencies;
|
changeset |
files
|
| Tue, 20 Sep 2005 13:58:58 +0200 |
wenzelm |
removed Commutative_Ring.thy, added HOL/ex/Chinese.thy;
|
changeset |
files
|
| Tue, 20 Sep 2005 13:57:08 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 20 Sep 2005 13:56:34 +0200 |
wenzelm |
Chinese Unicode example;
|
changeset |
files
|
| Tue, 20 Sep 2005 13:56:01 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|