Fri, 24 Jan 1997 18:24:04 +0100 | wenzelm | *** empty log message *** | changeset | files |
Fri, 24 Jan 1997 17:37:59 +0100 | wenzelm | Isabelle NEWS -- history of user-visible changes; | changeset | files |
Fri, 24 Jan 1997 17:12:28 +0100 | wenzelm | changed case symbol to \<Rightarrow>; | changeset | files |