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 |