Fri, 20 Jul 2007 14:28:05 +0200 dropped Nat.ML legacy bindings
haftmann [Fri, 20 Jul 2007 14:28:05 +0200] rev 23880
dropped Nat.ML legacy bindings
Fri, 20 Jul 2007 14:28:01 +0200 split class abs from class minus
haftmann [Fri, 20 Jul 2007 14:28:01 +0200] rev 23879
split class abs from class minus
Fri, 20 Jul 2007 14:27:56 +0200 simplified HOL bootstrap
haftmann [Fri, 20 Jul 2007 14:27:56 +0200] rev 23878
simplified HOL bootstrap
Fri, 20 Jul 2007 00:01:40 +0200 tuned;
wenzelm [Fri, 20 Jul 2007 00:01:40 +0200] rev 23877
tuned;
Thu, 19 Jul 2007 23:49:05 +0200 ThyHeader.read: Source.of_string_limited;
wenzelm [Thu, 19 Jul 2007 23:49:05 +0200] rev 23876
ThyHeader.read: Source.of_string_limited;
Thu, 19 Jul 2007 23:49:04 +0200 added of_string_limited (more efficient for partial scans);
wenzelm [Thu, 19 Jul 2007 23:49:04 +0200] rev 23875
added of_string_limited (more efficient for partial scans);
Thu, 19 Jul 2007 23:49:02 +0200 added rep_ident;
wenzelm [Thu, 19 Jul 2007 23:49:02 +0200] rev 23874
added rep_ident;
Thu, 19 Jul 2007 23:49:00 +0200 added pprint for Path.T, File.ident;
wenzelm [Thu, 19 Jul 2007 23:49:00 +0200] rev 23873
added pprint for Path.T, File.ident;
Thu, 19 Jul 2007 23:18:59 +0200 tuned signature;
wenzelm [Thu, 19 Jul 2007 23:18:59 +0200] rev 23872
tuned signature; load_path: always used, even for partially qualified path names; check_file: precise (no adding of extensions!); misc cleanup;
Thu, 19 Jul 2007 23:18:58 +0200 removed obsolete use/update_thy_only;
wenzelm [Thu, 19 Jul 2007 23:18:58 +0200] rev 23871
removed obsolete use/update_thy_only; removed unused quiet_update_thy, get_succs; renamed get_preds to get_parents; deps: replaced File.info by File.ident (no comparison of paths!); check_deps: reload (partially qualified) parents for unfinished theory, no reference of previously loaded master paths! require_thy: attempt at purely static path lookup, less permissive; misc cleanup;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip