Mon, 02 Jul 2007 23:14:06 +0200 Added pattern maatching for lambda abstraction
nipkow [Mon, 02 Jul 2007 23:14:06 +0200] rev 23526
Added pattern maatching for lambda abstraction
Mon, 02 Jul 2007 16:42:37 +0200 revised the discussion of type classes
paulson [Mon, 02 Jul 2007 16:42:37 +0200] rev 23525
revised the discussion of type classes
Mon, 02 Jul 2007 10:43:20 +0200 Generic QE need no Context anymore
chaieb [Mon, 02 Jul 2007 10:43:20 +0200] rev 23524
Generic QE need no Context anymore
Mon, 02 Jul 2007 10:43:19 +0200 Handle exception TYPE
chaieb [Mon, 02 Jul 2007 10:43:19 +0200] rev 23523
Handle exception TYPE
Mon, 02 Jul 2007 10:43:17 +0200 Tuned proofs
chaieb [Mon, 02 Jul 2007 10:43:17 +0200] rev 23522
Tuned proofs
Sat, 30 Jun 2007 17:30:10 +0200 added ordered_ring and ordered_semiring
obua [Sat, 30 Jun 2007 17:30:10 +0200] rev 23521
added ordered_ring and ordered_semiring
Fri, 29 Jun 2007 21:23:05 +0200 tuned arithmetic modules
haftmann [Fri, 29 Jun 2007 21:23:05 +0200] rev 23520
tuned arithmetic modules
Fri, 29 Jun 2007 18:21:25 +0200 bug fixes to proof reconstruction
paulson [Fri, 29 Jun 2007 18:21:25 +0200] rev 23519
bug fixes to proof reconstruction
Fri, 29 Jun 2007 16:05:00 +0200 dropped local cg cmd
haftmann [Fri, 29 Jun 2007 16:05:00 +0200] rev 23518
dropped local cg cmd
Thu, 28 Jun 2007 19:09:43 +0200 dropped toplevel lcm, gcd
haftmann [Thu, 28 Jun 2007 19:09:43 +0200] rev 23517
dropped toplevel lcm, gcd
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip