src/Pure/Isar/isar_cmd.ML
1999-02-08 wenzelm 1999-02-08 use: provide context;
1999-02-05 wenzelm 1999-02-05 use_thy, update_thy: Context.save;
1999-02-04 wenzelm 1999-02-04 File.pwd, File.cd;
1999-02-03 wenzelm 1999-02-03 removed load; proper use (ThyInfo.load_file); added use_thy, update_thy;
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1998-11-29 wenzelm 1998-11-29 added restart;
1998-11-17 wenzelm 1998-11-17 break: exhibit state; removed print_thm;
1998-11-16 wenzelm 1998-11-16 added print_thm;
1998-11-16 wenzelm 1998-11-16 add print_theorems; print_thms: handle attributes;
1998-11-09 wenzelm 1998-11-09 Non-logical toplevel commands.