isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

NEWS

2009-10-09	haftmann	term styles also cover antiquotations term_type and typeof	file \| diff \| annotate
2009-10-08	haftmann	new generalized concept for term styles	file \| diff \| annotate
2009-10-01	ballarin	News entry: inheritance of mixins; print_interps.	file \| diff \| annotate
2009-09-30	haftmann	merged	file \| diff \| annotate
2009-09-30	haftmann	mandatory prefix where appropriate	file \| diff \| annotate
2009-09-29	wenzelm	Synchronized and Unsynchronized;	file \| diff \| annotate
2009-09-25	haftmann	NEWS; corrected spelling	file \| diff \| annotate
2009-09-22	haftmann	merged	file \| diff \| annotate
2009-09-21	haftmann	added note on simp rules	file \| diff \| annotate
2009-09-21	haftmann	merged	file \| diff \| annotate
2009-09-19	haftmann	inter and union are mere abbreviations for inf and sup	file \| diff \| annotate
2009-09-22	haftmann	be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer	file \| diff \| annotate
2009-09-18	boehmes	added new method "smt": an oracle-based connection to external SMT solvers	file \| diff \| annotate
2009-09-18	haftmann	INTER and UNION are mere abbreviations for INFI and SUPR	file \| diff \| annotate
2009-09-18	haftmann	tuned NEWS, added CONTRIBUTORS	file \| diff \| annotate
2009-09-17	paulson	NEWS: New method metisFT	file \| diff \| annotate
2009-09-16	haftmann	Inter and Union are mere abbreviations for Inf and Sup; tuned	file \| diff \| annotate
2009-09-01	haftmann	corrected spelling	file \| diff \| annotate
2009-09-01	haftmann	some reorganization of number theory	file \| diff \| annotate
2009-08-31	krauss	moved lemma Wellfounded.in_inv_image to Relation.thy	file \| diff \| annotate
2009-08-28	wenzelm	discontinued Display.pretty_ctyp/cterm etc.;	file \| diff \| annotate
2009-08-28	wenzelm	misc updates and tuning;	file \| diff \| annotate
2009-08-21	boehmes	added Mirabelle to NEWS	file \| diff \| annotate
2009-08-11	wenzelm	added PARALLEL_CHOICE, PARALLEL_GOALS;	file \| diff \| annotate
2009-08-04	wenzelm	etc/components;	file \| diff \| annotate
2009-07-29	nipkow	sos documentation	file \| diff \| annotate
2009-07-28	haftmann	Set.UNIV and Set.empty are mere abbreviations for top and bot	file \| diff \| annotate
2009-07-27	krauss	"more standard" argument order of relation composition (op O)	file \| diff \| annotate
2009-07-27	haftmann	NEWS	file \| diff \| annotate
2009-07-26	wenzelm	tacticals FOCUS and FOCUS_PARAMS;	file \| diff \| annotate

less more (0) -1000 -300 -100 -50 -30 tip

isabelle

RSS Atom