wenzelm [Sun, 20 Nov 2011 17:57:09 +0100] rev 46472
tuned signature;
wenzelm [Sun, 20 Nov 2011 17:44:41 +0100] rev 46471
'lemmas' / 'theorems' commands allow 'for' fixes and standardize the result before storing;
wenzelm [Sun, 20 Nov 2011 17:32:27 +0100] rev 46470
updated comment;
wenzelm [Sun, 20 Nov 2011 17:04:59 +0100] rev 46469
more uniform signature;
wenzelm [Sun, 20 Nov 2011 16:59:37 +0100] rev 46468
uniform cert_vars/read_vars;
wenzelm [Sun, 20 Nov 2011 16:58:12 +0100] rev 46467
eliminated dead code;
wenzelm [Sun, 20 Nov 2011 15:21:22 +0100] rev 46466
clarified certify vs. sharing;
wenzelm [Sun, 20 Nov 2011 13:29:12 +0100] rev 46465
tuned;
wenzelm [Sat, 19 Nov 2011 21:23:16 +0100] rev 46464
NEWS;
wenzelm [Sat, 19 Nov 2011 21:18:38 +0100] rev 46463
added ML antiquotation @{attributes};