src/Pure/General/secure.ML
2007-04-03 wenzelm 2007-04-03 removed assert/deny (avoid clash with Alice keywords and confusion due to strict evaluation);
2007-01-21 wenzelm 2007-01-21 use_text: added name argument;
2006-12-11 wenzelm 2006-12-11 added use_file;
2006-10-12 wenzelm 2006-10-12 added execute/system;
2006-10-11 wenzelm 2006-10-11 tuned signature;
2006-10-09 wenzelm 2006-10-09 Secure critical operations.