testboard: File revisions

src/HOL/Library/AList_Mapping.thy

Sun, 03 Aug 2014 17:38:59 +0200	wenzelm	tuned whitespace;	file \| diff \| annotate
Fri, 15 Feb 2013 11:47:34 +0100	haftmann	attempt to re-establish conventions which theories are loaded into the grand unified library theory;	file \| diff \| annotate
Thu, 18 Oct 2012 15:52:33 +0200	kuncar	update RBT_Mapping, AList_Mapping and Mapping to use lifting/transfer	file \| diff \| annotate
Tue, 17 Jan 2012 10:45:42 +0100	bulwahn	renaming theory AList_Impl back to AList (reverting 1fec5b365f9b; AList with distinct key invariant is called DAList)	file \| diff \| annotate
Tue, 10 Jan 2012 15:48:10 +0100	bulwahn	proper hiding of facts and constants in AList_Impl and AList theory	file \| diff \| annotate
Wed, 14 Dec 2011 16:30:32 +0100	bulwahn	correcting dependencies after renaming	file \| diff \| annotate
Tue, 13 Sep 2011 09:28:03 +0200	bulwahn	correcting theory name and dependencies	file \| diff \| annotate
Mon, 12 Sep 2011 10:57:58 +0200	bulwahn	moving connection of association lists to Mappings into a separate theory	file \| diff \| annotate

testboard