Thu, 21 Sep 2000 18:58:25 +0200 | fleuriot | *** empty log message *** | changeset | files |
Thu, 21 Sep 2000 18:47:18 +0200 | wenzelm | renamed to Records.thy; | changeset | files |
Thu, 21 Sep 2000 18:33:48 +0200 | wenzelm | improved \isachartilde for non-tt styles; | changeset | files |
Thu, 21 Sep 2000 15:58:13 +0200 | wenzelm | renamed HOL/ex/Points to HOL/ex/Records; | changeset | files |
Thu, 21 Sep 2000 14:55:46 +0200 | kleing | added height="100%" to stretch page to whole browser window | changeset | files |
Thu, 21 Sep 2000 14:54:24 +0200 | kleing | added headline, "quick download", and mailing list archive | changeset | files |
Thu, 21 Sep 2000 14:31:51 +0200 | kleing | added height="100%" to stretch page to whole browser window | changeset | files |