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 |