| Sun, 26 Mar 1995 17:04:45 +0200 | nipkow | Modified If_def to avoid ambiguity. | changeset | files |
| Fri, 24 Mar 1995 12:30:35 +0100 | clasohm | changed syntax of tuples from <..., ...> to (..., ...) | changeset | files |
| Thu, 23 Mar 1995 15:39:13 +0100 | clasohm | fixed bug: parent theory wasn't loaded if .thy file was completly read before | changeset | files |