| Fri, 01 Sep 2000 00:28:27 +0200 | wenzelm | fixed rulify_prems; | changeset | files |
| Fri, 01 Sep 2000 00:28:06 +0200 | wenzelm | lemmas [mono] = lists_mono; | changeset | files |
| Fri, 01 Sep 2000 00:27:41 +0200 | wenzelm | updated; | changeset | files |
| Thu, 31 Aug 2000 17:59:59 +0200 | wenzelm | fixed make_pp; | changeset | files |
| Thu, 31 Aug 2000 17:25:52 +0200 | wenzelm | improved exit function for polyml-4.0; | changeset | files |
| Thu, 31 Aug 2000 14:11:04 +0200 | kleing | tuned | changeset | files |
| Thu, 31 Aug 2000 09:23:01 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 31 Aug 2000 01:42:23 +0200 | wenzelm | ported HOL/Lambda/ListBeta; | changeset | files |
| Thu, 31 Aug 2000 00:16:32 +0200 | wenzelm | improved handling of messages: do not decorate writeln output; | changeset | files |
| Thu, 31 Aug 2000 00:15:09 +0200 | wenzelm | improved messages; | changeset | files |
| Thu, 31 Aug 2000 00:11:40 +0200 | wenzelm | more polyml choices; | changeset | files |
| Wed, 30 Aug 2000 21:48:01 +0200 | kleing | added some bind_thm | changeset | files |