Thu, 12 Jun 2008 16:42:00 +0200 | wenzelm | sane versions of (qualified_)thms_of_thy; | changeset | files |
Thu, 12 Jun 2008 16:41:58 +0200 | wenzelm | Facts.dest/export_static: content difference; | changeset | files |
Thu, 12 Jun 2008 16:41:57 +0200 | wenzelm | dest/export_static: content difference; | changeset | files |