Sat, 11 Sep 2021 22:28:01 +0200 clarified antiquotation;
wenzelm [Sat, 11 Sep 2021 22:28:01 +0200] rev 74645
clarified antiquotation;
Sat, 11 Sep 2021 22:07:43 +0200 more antiquotations;
wenzelm [Sat, 11 Sep 2021 22:07:43 +0200] rev 74644
more antiquotations;
Sat, 11 Sep 2021 22:02:12 +0200 more antiquotations;
wenzelm [Sat, 11 Sep 2021 22:02:12 +0200] rev 74643
more antiquotations;
Sat, 11 Sep 2021 21:58:02 +0200 more antiquotations;
wenzelm [Sat, 11 Sep 2021 21:58:02 +0200] rev 74642
more antiquotations;
Sat, 11 Sep 2021 21:26:10 +0200 tuned;
wenzelm [Sat, 11 Sep 2021 21:26:10 +0200] rev 74641
tuned;
Sat, 11 Sep 2021 21:16:23 +0200 ML antiquotations for type constructors and term constants;
wenzelm [Sat, 11 Sep 2021 21:16:23 +0200] rev 74640
ML antiquotations for type constructors and term constants;
Sat, 11 Sep 2021 13:04:32 +0200 more antiquotations;
wenzelm [Sat, 11 Sep 2021 13:04:32 +0200] rev 74639
more antiquotations;
Fri, 10 Sep 2021 23:18:51 +0200 tuned;
wenzelm [Fri, 10 Sep 2021 23:18:51 +0200] rev 74638
tuned;
Fri, 10 Sep 2021 23:03:47 +0200 NEWS;
wenzelm [Fri, 10 Sep 2021 23:03:47 +0200] rev 74637
NEWS;
Fri, 10 Sep 2021 22:46:41 +0200 miscellaneous examples and experiments for Isabelle/Pure;
wenzelm [Fri, 10 Sep 2021 22:46:41 +0200] rev 74636
miscellaneous examples and experiments for Isabelle/Pure;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip