| Sun, 16 Jul 2000 20:50:15 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 16 Jul 2000 20:49:56 +0200 | wenzelm | avoid 'split'; | changeset | files |
| Sun, 16 Jul 2000 20:49:33 +0200 | wenzelm | added Tuple.thy; | changeset | files |
| Sun, 16 Jul 2000 20:49:13 +0200 | wenzelm | added ex/Tuple.thy; | changeset | files |
| Sun, 16 Jul 2000 20:48:35 +0200 | wenzelm | syntax (symbols) "op o" moved from HOL to Fun; | changeset | files |
| Sun, 16 Jul 2000 20:47:45 +0200 | wenzelm | added finite_unit; | changeset | files |
| Sun, 16 Jul 2000 20:47:15 +0200 | wenzelm | AST translation rules no longer require constant head on LHS; | changeset | files |
| Sun, 16 Jul 2000 20:46:44 +0200 | wenzelm | * tuned AST representation of nested pairs, avoiding bogus output in | changeset | files |