2015-11-16 Andreas Lochbihler export internal definition
2015-11-16 nipkow corrected inefficient implementation
2015-11-16 blanchet more tracing in MaSh
2015-11-16 nipkow tuned names
2015-11-16 nipkow NEWS
2015-11-15 haftmann formally correct context for export
2015-11-15 wenzelm merged
2015-11-15 wenzelm merged
2015-11-15 wenzelm option "inductive_defs" controls exposure of def and mono facts;
2015-11-14 wenzelm tuned message;
2015-11-15 nipkow added pretty syntax
2015-11-15 nipkow tuned white space
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 tip