isabelle: File revisions

src/ZF/pair.thy

2008-12-03	haftmann	2008-12-03	made repository layout more coherent with logical distribution structure; stripped some $Id$s	file \| diff \| annotate
2007-10-07	wenzelm	2007-10-07	modernized specifications; removed legacy ML bindings;	file \| diff \| annotate
2005-08-02	wenzelm	2005-08-02	tuned;	file \| diff \| annotate
2005-06-17	haftmann	2005-06-17	migrated theory headers to new format	file \| diff \| annotate
2004-06-02	paulson	2004-06-02	new rules for simplifying quantifiers with Sigma	file \| diff \| annotate
2002-08-28	paulson	2002-08-28	various new lemmas for Constructible	file \| diff \| annotate
2002-07-14	paulson	2002-07-14	Removal of mono.thy	file \| diff \| annotate
2002-06-23	paulson	2002-06-23	conversion of Sum, pair to Isar script	file \| diff \| annotate
2001-10-05	wenzelm	2001-10-05	tuned;	file \| diff \| annotate
2000-08-10	paulson	2000-08-10	installation of cancellation simprocs for the integers	file \| diff \| annotate
1997-01-03	paulson	1997-01-03	Implicit simpsets and clasets for FOL and ZF	file \| diff \| annotate
1993-11-16	clasohm	1993-11-16	made pseudo theories for all ML files; documented dependencies between all thy and ML files	file \| diff \| annotate

isabelle