Mon, 12 May 2003 11:54:29 +0200 added isar-overview
kleing [Mon, 12 May 2003 11:54:29 +0200] rev 14001
added isar-overview
Mon, 12 May 2003 11:34:49 +0200 added IsarOverview
kleing [Mon, 12 May 2003 11:34:49 +0200] rev 14000
added IsarOverview
Mon, 12 May 2003 11:33:55 +0200 IsarOverview moved one level up
kleing [Mon, 12 May 2003 11:33:55 +0200] rev 13999
IsarOverview moved one level up
Sat, 10 May 2003 20:53:02 +0200 Added new function eta_long.
berghofe [Sat, 10 May 2003 20:53:02 +0200] rev 13998
Added new function eta_long.
Sat, 10 May 2003 20:52:18 +0200 - Added split_min and split_max to preprocessor
berghofe [Sat, 10 May 2003 20:52:18 +0200] rev 13997
- Added split_min and split_max to preprocessor - Moved eta_long to Pure/pattern.ML
Fri, 09 May 2003 18:00:30 +0200 *** empty log message ***
nipkow [Fri, 09 May 2003 18:00:30 +0200] rev 13996
*** empty log message ***
Fri, 09 May 2003 17:19:58 +0200 NEWS updated for HOL-Algebra.
ballarin [Fri, 09 May 2003 17:19:58 +0200] rev 13995
NEWS updated for HOL-Algebra.
Fri, 09 May 2003 14:21:07 +0200 tuned
kleing [Fri, 09 May 2003 14:21:07 +0200] rev 13994
tuned
Fri, 09 May 2003 14:15:50 +0200 only make development snapshots for successful tests
kleing [Fri, 09 May 2003 14:15:50 +0200] rev 13993
only make development snapshots for successful tests
Fri, 09 May 2003 14:08:04 +0200 fixes
kleing [Fri, 09 May 2003 14:08:04 +0200] rev 13992
fixes
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip