src/Pure/Tools/invoke.ML
Wed, 07 Jun 2006 02:01:36 +0200 wenzelm Schematic invocation of locale expression in proof context.
less more (0) tip