Sun, 14 Jan 2007 09:57:29 +0100 paulson optimized translation of HO problems
Fri, 12 Jan 2007 15:37:21 +0100 ballarin Reverted to structure representation with records.
Fri, 12 Jan 2007 09:58:31 +0100 haftmann more term inspection
Fri, 12 Jan 2007 09:58:30 +0100 haftmann introduced binding concept
Fri, 12 Jan 2007 09:58:29 +0100 haftmann adjusted manual
Thu, 11 Jan 2007 16:53:12 +0100 paulson well-founded relations for the integers
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip