Fri, 21 Nov 2008 18:01:39 +0100 add_locale functional.
ballarin [Fri, 21 Nov 2008 18:01:39 +0100] rev 28872
add_locale functional.
Fri, 21 Nov 2008 15:54:53 +0100 Added a line that was missing from the definition
paulson [Fri, 21 Nov 2008 15:54:53 +0100] rev 28871
Added a line that was missing from the definition
Fri, 21 Nov 2008 14:21:42 +0100 added binary logarithm
krauss [Fri, 21 Nov 2008 14:21:42 +0100] rev 28870
added binary logarithm
Fri, 21 Nov 2008 13:17:43 +0100 Strange. The proof worked in the 2008 release. In order to make it work now, the last line of the proof must be moved up two places. In other words, the first proof step is now returning its subgoals in a different order from before.
paulson [Fri, 21 Nov 2008 13:17:43 +0100] rev 28869
Strange. The proof worked in the 2008 release. In order to make it work now, the last line of the proof must be moved up two places. In other words, the first proof step is now returning its subgoals in a different order from before.
Fri, 21 Nov 2008 07:34:36 +0100 Name.binding
haftmann [Fri, 21 Nov 2008 07:34:36 +0100] rev 28868
Name.binding
Thu, 20 Nov 2008 22:39:12 +0100 added optimizer
nipkow [Thu, 20 Nov 2008 22:39:12 +0100] rev 28867
added optimizer
Thu, 20 Nov 2008 19:43:34 +0100 reactivated some dead theories (based on hints by Mark Hillebrand);
wenzelm [Thu, 20 Nov 2008 19:43:34 +0100] rev 28866
reactivated some dead theories (based on hints by Mark Hillebrand);
Thu, 20 Nov 2008 19:06:05 +0100 Locale.local_note_qualified
haftmann [Thu, 20 Nov 2008 19:06:05 +0100] rev 28865
Locale.local_note_qualified
Thu, 20 Nov 2008 19:06:03 +0100 fact table now using name bindings
haftmann [Thu, 20 Nov 2008 19:06:03 +0100] rev 28864
fact table now using name bindings
Thu, 20 Nov 2008 19:06:02 +0100 dropped legacy naming code
haftmann [Thu, 20 Nov 2008 19:06:02 +0100] rev 28863
dropped legacy naming code
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip