Thu, 21 Aug 1997 12:54:20 +0200 | paulson | Replaced Suc(Suc 0) by 2; it improves readability a little | changeset | files |
Thu, 21 Aug 1997 12:53:23 +0200 | paulson | Renamed theorems of the form set_of_list_XXX to set_XXX | changeset | files |
Sun, 10 Aug 1997 12:28:34 +0200 | nipkow | Added select1_equality | changeset | files |
Fri, 08 Aug 1997 11:22:59 +0200 | wenzelm | added append_file; | changeset | files |
Fri, 08 Aug 1997 00:11:11 +0200 | berghofe | This file has moved to Distribution/lib/images. | changeset | files |
Fri, 08 Aug 1997 00:09:26 +0200 | berghofe | This file has moved to Distribution/lib/html. | changeset | files |
Thu, 07 Aug 1997 23:48:29 +0200 | berghofe | Removed references to simplifier. | changeset | files |