isabelle: File revisions

src/HOL/Library/AssocList.thy

2008-07-07	haftmann	2008-07-07	*absolute imports of HOL/.thy theories**	file \| diff \| annotate
2008-06-26	haftmann	2008-06-26	established Plain theory and image	file \| diff \| annotate
2008-03-17	wenzelm	2008-03-17	avoid rebinding of existing facts;	file \| diff \| annotate
2008-02-26	haftmann	2008-02-26	some more primrec	file \| diff \| annotate
2008-01-25	haftmann	2008-01-25	dropped superfluous code theorems	file \| diff \| annotate
2007-06-13	wenzelm	2007-06-13	tuned proofs: avoid implicit prems;	file \| diff \| annotate
2007-06-06	nipkow	2007-06-06	changed filter syntax from : to <-	file \| diff \| annotate
2007-05-10	haftmann	2007-05-10	tuned	file \| diff \| annotate
2007-04-26	haftmann	2007-04-26	slightly tuned	file \| diff \| annotate
2007-04-20	haftmann	2007-04-20	tuned: now using function package	file \| diff \| annotate
2006-11-17	wenzelm	2006-11-17	more robust syntax for definition/abbreviation/notation;	file \| diff \| annotate
2006-09-11	wenzelm	2006-09-11	induct method: renamed 'fixing' to 'arbitrary';	file \| diff \| annotate
2006-03-28	schirmer	2006-03-28	renamed map_val to map_ran	file \| diff \| annotate
2006-03-28	schirmer	2006-03-28	added map_val, superseding map_at and substitute ----------------------------------------------------------------------	file \| diff \| annotate
2006-03-23	nipkow	2006-03-23	Converted translations to abbbreviations. Removed a few odd functions from Map and AssocList. Moved chg_map from Map to Bali/Basis.	file \| diff \| annotate
2006-03-10	schirmer	2006-03-10	Added Library/AssocList.thy	file \| diff \| annotate

isabelle

RSS Atom