Thu, 01 Jan 2004 10:06:32 +0100 | paulson | tweaking of lemmas in RealDef, RealOrd | changeset | files |
Mon, 29 Dec 2003 06:49:26 +0100 | kleing | \<^bsub> .. \<^esub> | changeset | files |
Mon, 29 Dec 2003 06:07:44 +0100 | kleing | spanning super and sub scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup> | changeset | files |