Fri, 03 Jul 1998 10:37:04 +0200 | nipkow | Removed leading !! in goals. | changeset | files |
Fri, 03 Jul 1998 10:36:47 +0200 | nipkow | Removed leading !! in goals. | changeset | files |
Thu, 02 Jul 1998 17:58:12 +0200 | paulson | Renamed expand_if to split_if and setloop split_tac to addsplits, | changeset | files |