src/HOL/Tools/numeral_syntax.ML
Sat, 01 Jul 2000 19:55:22 +0200 wenzelm GPLed;
Tue, 21 Sep 1999 14:14:14 +0200 nipkow moved inf_of(?) to hologic.
Wed, 01 Sep 1999 21:26:26 +0200 wenzelm observe show_types;
Fri, 23 Jul 1999 17:30:27 +0200 paulson now using correctly-typed constants from HOLogic
Wed, 21 Jul 1999 15:18:36 +0200 paulson now exports mk_bin
Tue, 06 Jul 1999 21:08:30 +0200 wenzelm added Numeral.thy, Tools/numeral_syntax.ML;
less more (0) tip