src/HOL/Library/Mapping.thy
Sat, 07 Feb 2009 10:03:09 +0100 haftmann Isar proof
Sat, 07 Feb 2009 09:57:03 +0100 haftmann added bulkload
Sat, 07 Feb 2009 08:37:42 +0100 haftmann added bulkload
Fri, 06 Feb 2009 09:05:19 +0100 haftmann added replace operation
Mon, 02 Feb 2009 13:56:22 +0100 haftmann added Mapping.thy to Library
less more (0) tip