| Mon, 12 Apr 2004 12:52:08 +0200 | oheimb | added HOLCF/Streams.thy (with concatenation etc.) | changeset | files |
| Mon, 12 Apr 2004 12:18:48 +0200 | oheimb | added Streams.thy (with stream concatenation etc.) | changeset | files |
| Fri, 09 Apr 2004 16:31:15 +0200 | kleing | treat sub/super scripts | changeset | files |
| Thu, 08 Apr 2004 15:47:44 +0200 | paulson | freeness theorems and induction rule | changeset | files |