Thu, 19 Feb 2009 09:39:49 -0800 | huffman | add Powerdomain_ex.thy | changeset | files |
Thu, 19 Feb 2009 08:07:52 -0800 | huffman | add more ordering lemmas | changeset | files |
Thu, 19 Feb 2009 06:47:06 -0800 | huffman | avoid using ab_semigroup_idem_mult locale for powerdomains | changeset | files |
Thu, 19 Feb 2009 05:50:26 -0800 | huffman | merged | changeset | files |
Wed, 18 Feb 2009 20:53:58 -0800 | huffman | add header | changeset | files |
Wed, 18 Feb 2009 20:14:45 -0800 | huffman | move Polynomial.thy to Library | changeset | files |
Wed, 18 Feb 2009 19:51:39 -0800 | huffman | move FrechetDeriv.thy to Library | changeset | files |
Wed, 18 Feb 2009 19:32:26 -0800 | huffman | split polynomial-related stuff from Deriv.thy into Library/Poly_Deriv.thy | changeset | files |