Thu, 09 Aug 2007 15:52:47 +0200 | haftmann | localized of_nat | file | diff | annotate |
Wed, 01 Aug 2007 16:55:40 +0200 | wenzelm | simplified internal Config interface; | file | diff | annotate |
Tue, 31 Jul 2007 19:40:23 +0200 | wenzelm | HOL setup for linear arithmetic -- moved here from arith_data.ML; | file | diff | annotate |