Tue, 28 Apr 1998 13:50:41 +0200 | paulson | new thm mult_lt_mono1 | changeset | files |
Mon, 27 Apr 1998 19:32:19 +0200 | oheimb | cleanup for split_all_tac as wrapper in claset() | changeset | files |
Mon, 27 Apr 1998 19:30:40 +0200 | oheimb | removed wrong comment | changeset | files |
Mon, 27 Apr 1998 19:29:19 +0200 | oheimb | added option_map_eq_Some via AddIffs | changeset | files |
Mon, 27 Apr 1998 18:06:22 +0200 | nipkow | *** empty log message *** | changeset | files |
Mon, 27 Apr 1998 17:52:03 +0200 | nipkow | delsplits, Addsplits, Delsplits. | changeset | files |
Mon, 27 Apr 1998 16:47:50 +0200 | nipkow | Renamed expand_const -> split_const | changeset | files |