Tue, 21 Sep 1999 14:14:14 +0200 | nipkow | moved inf_of(?) to hologic. | file | diff | annotate |
Wed, 01 Sep 1999 21:26:26 +0200 | wenzelm | observe show_types; | file | diff | annotate |
Fri, 23 Jul 1999 17:30:27 +0200 | paulson | now using correctly-typed constants from HOLogic | file | diff | annotate |
Wed, 21 Jul 1999 15:18:36 +0200 | paulson | now exports mk_bin | file | diff | annotate |
Tue, 06 Jul 1999 21:08:30 +0200 | wenzelm | added Numeral.thy, Tools/numeral_syntax.ML; | file | diff | annotate |