isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/ZF/Sum.thy

2012-03-15	paulson	replacing ":" by "\<in>"	file \| diff \| annotate
2012-03-06	paulson	Using mathematical notation for <-> and cardinal arithmetic	file \| diff \| annotate
2012-03-06	paulson	mathematical symbols instead of ASCII	file \| diff \| annotate
2011-11-20	wenzelm	eliminated obsolete "standard";	file \| diff \| annotate
2011-02-18	wenzelm	more precise headers;	file \| diff \| annotate
2010-08-18	haftmann	deglobalization	file \| diff \| annotate
2010-03-01	haftmann	replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)	file \| diff \| annotate
2009-10-17	wenzelm	eliminated hard tabulators, guessing at each author's individual tab-width;	file \| diff \| annotate
2007-10-07	wenzelm	modernized specifications;	file \| diff \| annotate
2005-06-17	haftmann	migrated theory headers to new format	file \| diff \| annotate
2003-02-19	paulson	fixed anomalies in the installed classical rules	file \| diff \| annotate
2002-07-14	paulson	improved presentation markup	file \| diff \| annotate
2002-06-28	paulson	new theorems, tidying	file \| diff \| annotate
2002-06-23	paulson	conversion of Sum, pair to Isar script	file \| diff \| annotate
2002-06-18	paulson	tidying	file \| diff \| annotate
1998-08-17	paulson	Yet more removal of "goal" commands, especially "goal ZF.thy", so ZF.thy	file \| diff \| annotate
1997-10-20	wenzelm	local;	file \| diff \| annotate
1997-10-17	wenzelm	global;	file \| diff \| annotate
1997-01-03	paulson	Implicit simpsets and clasets for FOL and ZF	file \| diff \| annotate
1996-02-06	clasohm	expanded tabs	file \| diff \| annotate
1995-12-09	clasohm	removed quotes from consts and syntax sections	file \| diff \| annotate
1995-05-04	lcp	case is defined using pattern-matching	file \| diff \| annotate
1994-11-28	lcp	replaced "rules" by "defs"	file \| diff \| annotate
1993-11-16	clasohm	made pseudo theories for all ML files;	file \| diff \| annotate
1993-09-16	clasohm	Initial revision	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom