kuncar [Tue, 18 Nov 2014 16:19:57 +0100] rev 60217
generalize prove_schematic_quot_thm
kuncar [Tue, 18 Nov 2014 16:19:51 +0100] rev 60216
added pred_def, rel_eq_onp tuned
wenzelm [Sun, 03 May 2015 00:01:10 +0200] rev 60215
misc tuning, based on warnings by IntelliJ IDEA;
wenzelm [Fri, 01 May 2015 15:33:43 +0200] rev 60214
tuned;
wenzelm [Fri, 01 May 2015 15:18:50 +0200] rev 60213
updated screenshot;
wenzelm [Fri, 01 May 2015 14:35:13 +0200] rev 60212
clarified markup range;
wenzelm [Fri, 01 May 2015 13:58:06 +0200] rev 60211
modifier markup for all parsed tokens;
report literal token markup, before re-assignment;
wenzelm [Fri, 01 May 2015 00:27:04 +0200] rev 60210
updated screenshots;
wenzelm [Thu, 30 Apr 2015 17:02:57 +0200] rev 60209
updated Eisbach, using version 5df3d8c72403 of its Bitbucket repository;
wenzelm [Thu, 30 Apr 2015 17:00:50 +0200] rev 60208
avoid potential conflict with Eisbach keyword (although keywords are local to the theory context);