Thu, 24 Jul 2003 18:23:00 +0200 | paulson | declarations moved from PreList.thy | changeset | files |
Thu, 24 Jul 2003 17:52:38 +0200 | berghofe | Fixed two bugs: | changeset | files |
Thu, 24 Jul 2003 17:47:56 +0200 | berghofe | Exported function get_mode. | changeset | files |