src/Doc/Functions/Functions.thy
Sat, 17 Aug 2013 14:44:48 +0900 Christian Sternagel more document antiquotations (for proper theorem names);
less more (0) -1 tip