Fri, 04 Mar 2011 00:09:47 +0100 | wenzelm | eliminated prems; | changeset | files |
Thu, 03 Mar 2011 22:06:15 +0100 | wenzelm | eliminated UNITY_Examples.thy which takes quite long to merge and does not parallelize so well -- essentially reverting 3dec57ec3473; | changeset | files |
Thu, 03 Mar 2011 21:43:06 +0100 | wenzelm | tuned proofs -- eliminated prems; | changeset | files |