2007-08-20 huffman new root.tex for HOL-Word
2007-08-20 huffman no_document for Infinite_Set, Parity
2007-08-20 nipkow removed allpairs
2007-08-20 nipkow removed allpairs - use list comprehension!
2007-08-20 kleing added header
2007-08-20 kleing * HOL-Word:
2007-08-19 kleing boolean algebras as locales and numbers as types by Brian Huffman
2007-08-19 nipkow Made UN_Un simp
2007-08-19 aspinall Use 376/377 specials for sendback markup
2007-08-18 wenzelm ML system provides get_print_depth;
2007-08-18 webertj fixed a bug in demult: -a in (-a * b) is no longer treated as atomic
2007-08-18 wenzelm removed obsolete ML bindings;
2007-08-18 wenzelm converted ex/MT.ML;
2007-08-18 wenzelm make HOL-ex earlier;
2007-08-18 wenzelm NAMED_CRITICAL;
2007-08-18 wenzelm removed stateful init: operations take proper theory argument;
2007-08-18 wenzelm removed dead code: const_typargs, num_typargs, init;
2007-08-18 wenzelm proper signature;
2007-08-18 wenzelm removed obsolete atp_method;
2007-08-18 wenzelm export more tactics;
2007-08-18 wenzelm renamed ResAtpMethods.setup;
2007-08-17 wenzelm added at-poly-5.1-para;
2007-08-17 wenzelm added CRITICAL section markup;
2007-08-17 wenzelm updated generated file;
Loading...
(0) -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip