Mon, 26 Jan 2009 22:14:19 +0100 fixed reading of class specs: declare class operations in context
haftmann [Mon, 26 Jan 2009 22:14:19 +0100] rev 29632
fixed reading of class specs: declare class operations in context
Mon, 26 Jan 2009 22:14:18 +0100 stripped Id
haftmann [Mon, 26 Jan 2009 22:14:18 +0100] rev 29631
stripped Id
Mon, 26 Jan 2009 22:14:17 +0100 streamlined definitions, executable equality
haftmann [Mon, 26 Jan 2009 22:14:17 +0100] rev 29630
streamlined definitions, executable equality
Mon, 26 Jan 2009 22:14:17 +0100 tuned header
haftmann [Mon, 26 Jan 2009 22:14:17 +0100] rev 29629
tuned header
Mon, 26 Jan 2009 22:14:16 +0100 entry point for Word library now named Word
haftmann [Mon, 26 Jan 2009 22:14:16 +0100] rev 29628
entry point for Word library now named Word
Mon, 26 Jan 2009 08:23:55 +0100 correct proof of assm_intro rule
haftmann [Mon, 26 Jan 2009 08:23:55 +0100] rev 29627
correct proof of assm_intro rule
Mon, 26 Jan 2009 08:23:41 +0100 sorted_take, sorted_drop
haftmann [Mon, 26 Jan 2009 08:23:41 +0100] rev 29626
sorted_take, sorted_drop
Fri, 23 Jan 2009 19:52:02 +0100 merged
haftmann [Fri, 23 Jan 2009 19:52:02 +0100] rev 29625
merged
Fri, 23 Jan 2009 19:51:49 +0100 fixed fixme
haftmann [Fri, 23 Jan 2009 19:51:49 +0100] rev 29624
fixed fixme
Fri, 23 Jan 2009 19:51:49 +0100 avoiding misleading name duplicate
haftmann [Fri, 23 Jan 2009 19:51:49 +0100] rev 29623
avoiding misleading name duplicate
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip