| Fri, 18 Apr 1997 17:33:26 +0200 | nipkow | Tuple patterns are allowed now in `case' | changeset | files |
| Fri, 18 Apr 1997 16:54:52 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 18 Apr 1997 12:01:12 +0200 | wenzelm | print_goals: fixed show_sorts semantics; | changeset | files |
| Fri, 18 Apr 1997 11:58:38 +0200 | wenzelm | tuned check_has_sort; | changeset | files |
| Fri, 18 Apr 1997 11:57:51 +0200 | wenzelm | removed least_sort; | changeset | files |
| Fri, 18 Apr 1997 11:55:14 +0200 | wenzelm | tuned err msg; | changeset | files |
| Fri, 18 Apr 1997 11:54:54 +0200 | paulson | Renamed sign constructors to eliminate clash with the Plus infix of Sum.thy | changeset | files |