Tue, 30 Jun 1998 14:41:27 +0200 | wenzelm | added quick_and_dirty flag; | changeset | files |
Mon, 29 Jun 1998 21:33:35 +0200 | wenzelm | moved actual (C)Pure theories to pure.ML; | changeset | files |
Mon, 29 Jun 1998 21:33:25 +0200 | wenzelm | tuned transaction; | changeset | files |
Mon, 29 Jun 1998 10:32:06 +0200 | wenzelm | use_text: verbose flag; | changeset | files |
Fri, 26 Jun 1998 15:16:14 +0200 | paulson | New rewrite unit_abs_eta_conv to compensate for unit_eq_proc | changeset | files |
Fri, 26 Jun 1998 15:10:40 +0200 | paulson | New rewrite unit_abs_eta_conv to compensate for unit_eq_proc | changeset | files |