huffman [Sun, 04 Sep 2011 09:49:45 -0700] rev 45572
remove redundant lemmas about LIMSEQ
huffman [Sun, 04 Sep 2011 07:15:13 -0700] rev 45571
introduce abbreviation 'int' earlier in Int.thy
huffman [Sun, 04 Sep 2011 06:56:10 -0700] rev 45570
remove unused assumptions from natceiling lemmas
huffman [Sun, 04 Sep 2011 06:27:59 -0700] rev 45569
move lemmas nat_le_iff and nat_mono into Int.thy
wenzelm [Sun, 04 Sep 2011 14:29:15 +0200] rev 45568
pass raw messages through xml_cache actor, which is important to retain ordering of results (e.g. read_command reports before assign, cf. 383c9d758a56);
haftmann [Sun, 04 Sep 2011 08:43:06 +0200] rev 45567
pseudo-definition for perms on sets; tuned
huffman [Sat, 03 Sep 2011 16:00:09 -0700] rev 45566
remove duplicate lemma nat_zero in favor of nat_0
huffman [Sat, 03 Sep 2011 15:37:41 -0700] rev 45565
merged
huffman [Sat, 03 Sep 2011 15:09:51 -0700] rev 45564
merged
huffman [Sat, 03 Sep 2011 14:52:40 -0700] rev 45563
modify nominal packages to better respect set/pred distinction