src/Pure/pure_setup.ML
2007-08-13 wenzelm 2007-08-13 moved appl syntax to PureThy;
2007-08-07 wenzelm 2007-08-07 theory loader: removed obsolete update_thy (coincides with use_thy);
2007-07-29 wenzelm 2007-07-29 added ML toplevel use commands: Toplevel.program; added install_pp stuff;
2007-07-17 wenzelm 2007-07-17 Pure theory setup.