doc-src/IsarRef/Thy/Spec.thy
Sat, 14 Jun 2008 17:26:07 +0200 wenzelm removed exotic 'token_translation' command;
Tue, 03 Jun 2008 00:16:18 +0200 wenzelm class_deps: improper;
Tue, 03 Jun 2008 00:03:52 +0200 wenzelm tuned;
Mon, 02 Jun 2008 23:38:27 +0200 wenzelm moved header command to Document_Preparation;
Mon, 02 Jun 2008 23:12:09 +0200 wenzelm updated ML types for advanced translations;
Mon, 02 Jun 2008 22:50:23 +0200 wenzelm major reorganization of document structure;
Sat, 10 May 2008 00:14:00 +0200 wenzelm misc reorganization;
Fri, 09 May 2008 23:35:57 +0200 wenzelm added chapters for "Specifications" and "Proofs";
less more (0) tip