src/Pure/General/secure.ML
Mon, 11 Dec 2006 19:05:23 +0100 wenzelm added use_file;
Thu, 12 Oct 2006 14:14:11 +0200 wenzelm added execute/system;
Wed, 11 Oct 2006 22:55:14 +0200 wenzelm tuned signature;
Mon, 09 Oct 2006 19:37:04 +0200 wenzelm Secure critical operations.
less more (0) tip