Mon, 05 Aug 2002 12:00:51 +0200 | wenzelm | updated; | changeset | files |
Fri, 02 Aug 2002 21:40:47 +0200 | wenzelm | added Isabelle LNCSes; | changeset | files |
Fri, 02 Aug 2002 21:40:28 +0200 | wenzelm | fixed long statement: P.opt_thm_name; | changeset | files |