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 |