| Mon, 21 Jan 2002 14:45:00 +0100 | berghofe | Made some proofs constructive. | changeset | files |
| Mon, 21 Jan 2002 14:43:38 +0100 | berghofe | datatype_codegen now checks type of constructor. | changeset | files |
| Mon, 21 Jan 2002 13:44:16 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 21 Jan 2002 11:25:45 +0100 | paulson | lexical tidying | changeset | files |
| Mon, 21 Jan 2002 10:52:05 +0100 | paulson | slight re-use of code | changeset | files |
| Sat, 19 Jan 2002 15:44:53 +0100 | kleing | fixed typos | changeset | files |
| Fri, 18 Jan 2002 18:36:19 +0100 | wenzelm | rewrite_term: removed rew0, so no on-the-fly eta-contraction; | changeset | files |
| Fri, 18 Jan 2002 18:35:39 +0100 | wenzelm | fixed document setup of HOL-Library; | changeset | files |
| Fri, 18 Jan 2002 18:30:19 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 18 Jan 2002 17:46:17 +0100 | paulson | tidied | changeset | files |
| Fri, 18 Jan 2002 17:45:19 +0100 | paulson | OOPS | changeset | files |
| Fri, 18 Jan 2002 17:44:15 +0100 | paulson | tweaks | changeset | files |
| Fri, 18 Jan 2002 15:17:47 +0100 | wenzelm | moved document sources to proper place, *within* Library/Library (!); | changeset | files |
| Thu, 17 Jan 2002 21:07:11 +0100 | wenzelm | cover polyml-4.1.2; | changeset | files |