Wed, 03 Sep 2008 17:47:34 +0200 declare_const: Name.binding, store/report position;
wenzelm [Wed, 03 Sep 2008 17:47:34 +0200] rev 28111
declare_const: Name.binding, store/report position;
Wed, 03 Sep 2008 17:47:30 +0200 Sign.declare_const: Name.binding;
wenzelm [Wed, 03 Sep 2008 17:47:30 +0200] rev 28110
Sign.declare_const: Name.binding;
Wed, 03 Sep 2008 12:11:28 +0200 removed ex/Puzzle
nipkow [Wed, 03 Sep 2008 12:11:28 +0200] rev 28109
removed ex/Puzzle
Wed, 03 Sep 2008 11:44:52 +0200 added qualified: string -> binding -> binding;
wenzelm [Wed, 03 Sep 2008 11:44:52 +0200] rev 28108
added qualified: string -> binding -> binding;
Wed, 03 Sep 2008 11:44:48 +0200 Name.qualified;
wenzelm [Wed, 03 Sep 2008 11:44:48 +0200] rev 28107
Name.qualified;
Wed, 03 Sep 2008 11:27:15 +0200 theorem dependency hook: check previous state;
wenzelm [Wed, 03 Sep 2008 11:27:15 +0200] rev 28106
theorem dependency hook: check previous state;
Wed, 03 Sep 2008 11:26:59 +0200 added pos_of;
wenzelm [Wed, 03 Sep 2008 11:26:59 +0200] rev 28105
added pos_of;
Wed, 03 Sep 2008 11:18:55 +0200 -> AFP
nipkow [Wed, 03 Sep 2008 11:18:55 +0200] rev 28104
-> AFP
Wed, 03 Sep 2008 11:09:08 +0200 simplified Toplevel.add_hook: cover successful transactions only;
wenzelm [Wed, 03 Sep 2008 11:09:08 +0200] rev 28103
simplified Toplevel.add_hook: cover successful transactions only;
Wed, 03 Sep 2008 00:11:27 +0200 retired Ben Porter's DenumRat in favour of the shorter proof in
kleing [Wed, 03 Sep 2008 00:11:27 +0200] rev 28102
retired Ben Porter's DenumRat in favour of the shorter proof in Real/Rational.thy
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip