haftmann [Fri, 21 May 2010 17:16:16 +0200] rev 37039
adjusted to changes in Mapping.thy
haftmann [Fri, 21 May 2010 15:28:25 +0200] rev 37038
merged
haftmann [Fri, 21 May 2010 15:22:37 +0200] rev 37037
tuned
haftmann [Fri, 21 May 2010 15:22:37 +0200] rev 37036
more lemmas about mappings, in particular keys
haftmann [Fri, 21 May 2010 15:22:36 +0200] rev 37035
refined
haftmann [Fri, 21 May 2010 11:50:34 +0200] rev 37034
nats in Haskell are readable
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:40:59 +0200] rev 37033
Let rsp and prs in fun_rel/fun_map format
huffman [Thu, 20 May 2010 21:19:38 -0700] rev 37032
speed up some proofs and fix some warnings
wenzelm [Thu, 20 May 2010 23:22:37 +0200] rev 37031
merged
wenzelm [Thu, 20 May 2010 23:20:01 +0200] rev 37030
zoom font size;