Fri, 24 May 2013 17:37:06 +0200 modernized Zorn (by Christian Sternagel)
popescua [Fri, 24 May 2013 17:37:06 +0200] rev 52181
modernized Zorn (by Christian Sternagel)
Mon, 27 May 2013 16:53:21 +0200 merged
wenzelm [Mon, 27 May 2013 16:53:21 +0200] rev 52180
merged
Mon, 27 May 2013 16:52:39 +0200 more thorough type unification: treat equal Vars like other atoms, otherwise unify type of term pair (not just accidental body_type of its head Vars);
wenzelm [Mon, 27 May 2013 16:52:39 +0200] rev 52179
more thorough type unification: treat equal Vars like other atoms, otherwise unify type of term pair (not just accidental body_type of its head Vars);
Mon, 27 May 2013 15:57:38 +0200 instantiate types as well (see also Thm.first_order_match);
wenzelm [Mon, 27 May 2013 15:57:38 +0200] rev 52178
instantiate types as well (see also Thm.first_order_match);
Mon, 27 May 2013 13:55:04 +0200 tuned;
wenzelm [Mon, 27 May 2013 13:55:04 +0200] rev 52177
tuned;
Mon, 27 May 2013 13:44:02 +0200 updated to ProofGeneral-4.2;
wenzelm [Mon, 27 May 2013 13:44:02 +0200] rev 52176
updated to ProofGeneral-4.2;
Mon, 27 May 2013 12:40:50 +0200 uniform Term_Position.markers (cf. dbadb4d03cbc);
wenzelm [Mon, 27 May 2013 12:40:50 +0200] rev 52175
uniform Term_Position.markers (cf. dbadb4d03cbc);
Mon, 27 May 2013 15:14:41 +0200 get rid of "show_all_types" in Nitpick
blanchet [Mon, 27 May 2013 15:14:41 +0200] rev 52174
get rid of "show_all_types" in Nitpick
Mon, 27 May 2013 15:13:34 +0200 tuning
blanchet [Mon, 27 May 2013 15:13:34 +0200] rev 52173
tuning
Mon, 27 May 2013 15:00:01 +0200 killed dead argument
blanchet [Mon, 27 May 2013 15:00:01 +0200] rev 52172
killed dead argument
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip