| 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 |
| Thu, 08 Apr 2004 15:14:33 +0200 | paulson | tidied | changeset | files |
| Thu, 08 Apr 2004 12:49:23 +0200 | paulson | new theory | changeset | files |
| Thu, 08 Apr 2004 12:45:22 +0200 | paulson | some (much longer) structured proofs | changeset | files |
| Thu, 08 Apr 2004 01:04:20 +0200 | kleing | fix time tag of session.tex | changeset | files |
| Wed, 07 Apr 2004 20:42:13 +0200 | ballarin | Locale instantiation: label parameter optional, new attribute paramter. | changeset | files |