| Fri, 18 Feb 2000 20:24:16 +0100 | oheimb | changed precedence of function update | changeset | files |
| Fri, 18 Feb 2000 18:29:28 +0100 | nipkow | installed lin arith for nat numerals. | changeset | files |
| Fri, 18 Feb 2000 15:37:08 +0100 | paulson | Rename: theory for applying a bijection over states to a UNITY program | changeset | files |
| Fri, 18 Feb 2000 15:35:29 +0100 | paulson | new distributive laws | changeset | files |
| Fri, 18 Feb 2000 15:34:22 +0100 | paulson | expandshort | changeset | files |
| Fri, 18 Feb 2000 15:33:09 +0100 | paulson | many new theorems about inj, surj etc. | changeset | files |
| Fri, 18 Feb 2000 15:28:32 +0100 | paulson | new theorem nat_diff_split' | changeset | files |
| Fri, 18 Feb 2000 15:20:44 +0100 | paulson | New treatment of "guarantees" with polymorphic components and bijections. | changeset | files |