Tue, 18 Feb 2014 23:03:49 +0100 delete or move now not necessary reflexivity rules due to 1726f46d2aa8
kuncar [Tue, 18 Feb 2014 23:03:49 +0100] rev 55566
delete or move now not necessary reflexivity rules due to 1726f46d2aa8
Tue, 18 Feb 2014 23:03:47 +0100 implement the reflexivity prover as a monotonicity prover that proves R >= op=; derive "reflexivity" rules for relators from mono rules and eq rules
kuncar [Tue, 18 Feb 2014 23:03:47 +0100] rev 55565
implement the reflexivity prover as a monotonicity prover that proves R >= op=; derive "reflexivity" rules for relators from mono rules and eq rules
Tue, 18 Feb 2014 21:00:13 +0100 merged
wenzelm [Tue, 18 Feb 2014 21:00:13 +0100] rev 55564
merged
Tue, 18 Feb 2014 20:50:07 +0100 more markup;
wenzelm [Tue, 18 Feb 2014 20:50:07 +0100] rev 55563
more markup;
Tue, 18 Feb 2014 20:37:45 +0100 proper term equality;
wenzelm [Tue, 18 Feb 2014 20:37:45 +0100] rev 55562
proper term equality; proper Args.term_pattern parser (like 'is' or 'let' in Isar);
Tue, 18 Feb 2014 20:32:58 +0100 tuned message;
wenzelm [Tue, 18 Feb 2014 20:32:58 +0100] rev 55561
tuned message;
Tue, 18 Feb 2014 20:20:42 +0100 more uniform treatment of dockables and their standard actions;
wenzelm [Tue, 18 Feb 2014 20:20:42 +0100] rev 55560
more uniform treatment of dockables and their standard actions;
Tue, 18 Feb 2014 19:00:13 +0100 standardized action and panel names;
wenzelm [Tue, 18 Feb 2014 19:00:13 +0100] rev 55559
standardized action and panel names;
Tue, 18 Feb 2014 18:51:03 +0100 tuned imports;
wenzelm [Tue, 18 Feb 2014 18:51:03 +0100] rev 55558
tuned imports;
Tue, 18 Feb 2014 18:43:47 +0100 prefer concrete list append;
wenzelm [Tue, 18 Feb 2014 18:43:47 +0100] rev 55557
prefer concrete list append;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip