| Wed, 03 Mar 2010 16:43:55 +0100 | wenzelm | merged, resolving some basic conflicts; | file | diff | annotate |
| Sun, 28 Feb 2010 18:33:57 -0800 | huffman | store deflation thms for map functions in theory data | file | diff | annotate |
| Tue, 02 Mar 2010 23:59:54 +0100 | wenzelm | proper (type_)notation; | file | diff | annotate |
| Wed, 17 Feb 2010 08:05:16 -0800 | huffman | add theory HOLCF/ex/Strict_Fun.thy | file | diff | annotate |