src/Pure/General/completion.ML
Sat, 22 Feb 2014 20:52:43 +0100 wenzelm support for completion within the formal context;
less more (0) tip