src/Doc/Implementation/Logic.thy
Thu, 09 Sep 2021 12:33:14 +0200 wenzelm clarified signature;
Thu, 26 Aug 2021 14:45:19 +0200 wenzelm more scalable data structure (but: rarely used with > 5 arguments);
Sat, 22 May 2021 22:58:10 +0200 wenzelm more uniform document antiquotations for ML: consolidate former setup for manuals;
Sat, 22 May 2021 21:52:13 +0200 wenzelm clarified names;
less more (0) -30 -10 -4 tip