Thu, 10 Jul 2008 07:15:19 +0200 by intro_locales -> ..
huffman [Thu, 10 Jul 2008 07:15:19 +0200] rev 27516
by intro_locales -> ..
Thu, 10 Jul 2008 07:07:54 +0200 instance real_field < field_char_0
huffman [Thu, 10 Jul 2008 07:07:54 +0200] rev 27515
instance real_field < field_char_0
Wed, 09 Jul 2008 22:33:35 +0200 remove redundant lemmas about cmod
huffman [Wed, 09 Jul 2008 22:33:35 +0200] rev 27514
remove redundant lemmas about cmod
Wed, 09 Jul 2008 22:32:17 +0200 removed owner;
wenzelm [Wed, 09 Jul 2008 22:32:17 +0200] rev 27513
removed owner;
Wed, 09 Jul 2008 22:25:24 +0200 tuned description;
wenzelm [Wed, 09 Jul 2008 22:25:24 +0200] rev 27512
tuned description;
Wed, 09 Jul 2008 22:23:34 +0200 changes wrt. gitweb style;
wenzelm [Wed, 09 Jul 2008 22:23:34 +0200] rev 27511
changes wrt. gitweb style;
Wed, 09 Jul 2008 22:13:09 +0200 style = isabelle (based on gitweb);
wenzelm [Wed, 09 Jul 2008 22:13:09 +0200] rev 27510
style = isabelle (based on gitweb);
Wed, 09 Jul 2008 20:18:06 +0200 rearrange instantiations
huffman [Wed, 09 Jul 2008 20:18:06 +0200] rev 27509
rearrange instantiations
Wed, 09 Jul 2008 17:14:31 +0200 added get_first;
wenzelm [Wed, 09 Jul 2008 17:14:31 +0200] rev 27508
added get_first; tuned;
Tue, 08 Jul 2008 23:20:07 +0200 updated generated file;
wenzelm [Tue, 08 Jul 2008 23:20:07 +0200] rev 27507
updated generated file;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip