| Wed, 27 May 1998 12:21:39 +0200 | paulson | Changed require to requires for MLWorks | changeset | files |
| Wed, 27 May 1998 12:19:35 +0200 | paulson | auto update | changeset | files |
| Tue, 26 May 1998 12:29:27 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 26 May 1998 12:29:10 +0200 | wenzelm | foldl_map prep_field; | changeset | files |
| Mon, 25 May 1998 21:28:07 +0200 | wenzelm | tuned store_theory; | changeset | files |
| Mon, 25 May 1998 21:27:22 +0200 | wenzelm | tuned local, global; | changeset | files |
| Mon, 25 May 1998 21:25:04 +0200 | wenzelm | tuned store_theory: theory -> unit; | changeset | files |