| Thu, 24 Jul 2003 18:23:17 +0200 | paulson | new theory Library/NatPair | changeset | files |
| 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 |
| Thu, 24 Jul 2003 16:41:40 +0200 | paulson | header comment | changeset | files |
| Thu, 24 Jul 2003 16:37:04 +0200 | paulson | new theory NatPair of the injection from nat*nat -> nat | changeset | files |
| Thu, 24 Jul 2003 16:36:29 +0200 | paulson | Tidying and replacement of some axioms by specifications | changeset | files |