Thu, 07 Aug 2008 13:44:42 +0200 advance: single argument (again);
wenzelm [Thu, 07 Aug 2008 13:44:42 +0200] rev 27764
advance: single argument (again); added range; tuned;
Thu, 07 Aug 2008 13:44:36 +0200 Symbols with explicit position information.
wenzelm [Thu, 07 Aug 2008 13:44:36 +0200] rev 27763
Symbols with explicit position information.
Thu, 07 Aug 2008 13:44:33 +0200 added General/symbol_pos.ML;
wenzelm [Thu, 07 Aug 2008 13:44:33 +0200] rev 27762
added General/symbol_pos.ML;
Wed, 06 Aug 2008 16:41:40 +0200 Interpretation command (theory/proof context) no longer simplifies goal.
ballarin [Wed, 06 Aug 2008 16:41:40 +0200] rev 27761
Interpretation command (theory/proof context) no longer simplifies goal.
Wed, 06 Aug 2008 13:57:25 +0200 added lemma
nipkow [Wed, 06 Aug 2008 13:57:25 +0200] rev 27760
added lemma
Wed, 06 Aug 2008 10:43:42 +0200 made SML/NJ happy;
wenzelm [Wed, 06 Aug 2008 10:43:42 +0200] rev 27759
made SML/NJ happy;
Wed, 06 Aug 2008 00:58:27 +0200 Reverted last change, since it caused incompatibilities.
berghofe [Wed, 06 Aug 2008 00:58:27 +0200] rev 27758
Reverted last change, since it caused incompatibilities.
Wed, 06 Aug 2008 00:12:31 +0200 fall back on P.term_group, to avoid problems with inner_syntax markup (due to CodeName.read_const_exprs);
wenzelm [Wed, 06 Aug 2008 00:12:31 +0200] rev 27757
fall back on P.term_group, to avoid problems with inner_syntax markup (due to CodeName.read_const_exprs);
Wed, 06 Aug 2008 00:12:26 +0200 T.end_position_of;
wenzelm [Wed, 06 Aug 2008 00:12:26 +0200] rev 27756
T.end_position_of; tuned;
Wed, 06 Aug 2008 00:12:21 +0200 adapted Antiq;
wenzelm [Wed, 06 Aug 2008 00:12:21 +0200] rev 27755
adapted Antiq;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip