Fri, 28 Oct 2011 10:33:23 +0200 | huffman | ex/Simproc_Tests.thy: remove duplicate simprocs | changeset | files |
Fri, 28 Oct 2011 11:02:27 +0200 | huffman | use simproc_setup for cancellation simprocs, to get proper name bindings | changeset | files |
Thu, 27 Oct 2011 22:37:19 +0200 | wenzelm | tuned; | changeset | files |
Thu, 27 Oct 2011 22:20:55 +0200 | wenzelm | eliminated aliases of standard functions; | changeset | files |
Thu, 27 Oct 2011 21:52:57 +0200 | wenzelm | more standard attribute setup; | changeset | files |
Thu, 27 Oct 2011 21:02:10 +0200 | wenzelm | localized quotient data; | changeset | files |
Thu, 27 Oct 2011 20:26:38 +0200 | wenzelm | simplified/standardized signatures; | changeset | files |