| Thu, 20 Feb 1997 16:09:41 +0100 | wenzelm | added index info; | changeset | files |
| Thu, 20 Feb 1997 15:53:08 +0100 | wenzelm | index info; | changeset | files |
| Thu, 20 Feb 1997 15:52:53 +0100 | wenzelm | added dist; | changeset | files |
| Thu, 20 Feb 1997 15:28:18 +0100 | wenzelm | some administrative tools for the Isabelle; | changeset | files |
| Thu, 20 Feb 1997 15:26:38 +0100 | wenzelm | made a bit more robust for 'make dist'; | changeset | files |
| Thu, 20 Feb 1997 15:24:03 +0100 | wenzelm | rail output; | changeset | files |
| Thu, 20 Feb 1997 15:18:43 +0100 | wenzelm | fixed rail.sty dep; | changeset | files |
| Thu, 20 Feb 1997 15:15:17 +0100 | wenzelm | added this file; | changeset | files |
| Thu, 20 Feb 1997 15:13:52 +0100 | wenzelm | rail output; | changeset | files |
| Thu, 20 Feb 1997 14:59:02 +0100 | wenzelm | made a bit more robust; | changeset | files |
| Mon, 17 Feb 1997 18:12:03 +0100 | wenzelm | manual steps comment; | changeset | files |
| Mon, 17 Feb 1997 17:55:45 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Mon, 17 Feb 1997 17:24:24 +0100 | slotosch | described changes for HOLCF-Version without rules and arities | changeset | files |
| Mon, 17 Feb 1997 17:23:14 +0100 | wenzelm | file moved; | changeset | files |
| Mon, 17 Feb 1997 17:22:50 +0100 | wenzelm | file moved here; | changeset | files |
| Mon, 17 Feb 1997 17:22:19 +0100 | wenzelm | configure - adapt Isabelle distribution to system environment | changeset | files |
| Mon, 17 Feb 1997 16:50:59 +0100 | oheimb | improved description of recent changes | changeset | files |
| Mon, 17 Feb 1997 16:50:17 +0100 | slotosch | reflecting recent changes of the simplifier | changeset | files |
| Mon, 17 Feb 1997 16:31:37 +0100 | oheimb | corrected type of plift | changeset | files |
| Mon, 17 Feb 1997 16:01:16 +0100 | oheimb | reflecting recent changes of the simplifier | changeset | files |
| Mon, 17 Feb 1997 13:54:24 +0100 | wenzelm | mk_rews: automatically includes strip_shyps, zero_var_indexes; | changeset | files |
| Mon, 17 Feb 1997 13:26:32 +0100 | slotosch | New file for theorems of Porder0 | changeset | files |
| Mon, 17 Feb 1997 12:00:00 +0100 | wenzelm | tuned comments; | changeset | files |
| Mon, 17 Feb 1997 11:04:00 +0100 | slotosch | Examples are adopted to the changes from HOLCF. | changeset | files |