| Tue, 13 Oct 1998 14:25:01 +0200 | wenzelm | added Int.int; | changeset | files |
| Tue, 13 Oct 1998 14:24:35 +0200 | wenzelm | PRIVATE sig parts; | changeset | files |
| Tue, 13 Oct 1998 11:08:28 +0200 | paulson | length_Suc_conv is no longer given to AddIffs | changeset | files |
| Tue, 13 Oct 1998 11:05:34 +0200 | paulson | new theorems | changeset | files |
| Tue, 13 Oct 1998 10:55:33 +0200 | paulson | tidied | changeset | files |
| Tue, 13 Oct 1998 10:50:56 +0200 | paulson | Addition of HOL/UNITY/Client | changeset | files |
| Tue, 13 Oct 1998 10:50:41 +0200 | paulson | new rule | changeset | files |
| Tue, 13 Oct 1998 10:32:59 +0200 | paulson | Addition of HOL/UNITY/Client | changeset | files |
| Fri, 09 Oct 1998 15:28:04 +0200 | nipkow | Unified treatment of type error msgs. | changeset | files |
| Fri, 09 Oct 1998 14:36:48 +0200 | nipkow | More pretty breaks in error msgs. | changeset | files |
| Fri, 09 Oct 1998 14:19:13 +0200 | nipkow | Added a few breaks in error text. | changeset | files |
| Fri, 09 Oct 1998 11:27:11 +0200 | paulson | new theorem | changeset | files |
| Fri, 09 Oct 1998 11:25:26 +0200 | paulson | new theorems | changeset | files |
| Fri, 09 Oct 1998 11:24:46 +0200 | paulson | new guarantees laws | changeset | files |
| Fri, 09 Oct 1998 11:16:52 +0200 | nipkow | renamed Suc_card_Diff or something | changeset | files |
| Fri, 09 Oct 1998 11:16:04 +0200 | nipkow | Multisets at last! | changeset | files |
| Fri, 09 Oct 1998 11:15:39 +0200 | nipkow | added Induct/Multiset* | changeset | files |
| Fri, 09 Oct 1998 11:15:07 +0200 | nipkow | New inductive definition of `card' | changeset | files |
| Fri, 09 Oct 1998 11:10:59 +0200 | paulson | polymorphic versions of nat_neq_iff and nat_neqE | changeset | files |
| Thu, 08 Oct 1998 11:59:17 +0200 | nipkow | Further improvement of the simplifier. | changeset | files |
| Wed, 07 Oct 1998 18:17:37 +0200 | nipkow | Tuned simplifier not to re-normalized already normalized terms. | changeset | files |
| Wed, 07 Oct 1998 17:51:11 +0200 | wenzelm | tuned rm CVS; | changeset | files |
| Wed, 07 Oct 1998 13:21:50 +0200 | nipkow | runs test | changeset | files |
| Wed, 07 Oct 1998 10:32:00 +0200 | paulson | tidying and renaming | changeset | files |
| Wed, 07 Oct 1998 10:31:30 +0200 | paulson | new theorems | changeset | files |
| Wed, 07 Oct 1998 10:31:07 +0200 | paulson | tidied | changeset | files |
| Wed, 07 Oct 1998 10:30:47 +0200 | paulson | new files UNITY/Comp.{thy,ML} | changeset | files |
| Tue, 06 Oct 1998 14:39:53 +0200 | nipkow | Merges FoldSet into Finite | changeset | files |