Wed, 07 Jun 2006 16:53:31 +0200 fixed typo
haftmann [Wed, 07 Jun 2006 16:53:31 +0200] rev 19815
fixed typo
Wed, 07 Jun 2006 02:04:20 +0200 * Theory syntax: some popular names (e.g. "class", "if") are now keywords.
wenzelm [Wed, 07 Jun 2006 02:04:20 +0200] rev 19814
* Theory syntax: some popular names (e.g. "class", "if") are now keywords. * Isar: schematic goals are no longer restricted to higher-order patterns. * ML/Pure: Logic.(un)varify only works in a global context, which is now enforced.
Wed, 07 Jun 2006 02:01:36 +0200 Schematic invocation of locale expression in proof context.
wenzelm [Wed, 07 Jun 2006 02:01:36 +0200] rev 19813
Schematic invocation of locale expression in proof context.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip