| Sat, 31 Mar 2012 19:09:59 +0200 | wenzelm | more direct Local_Defs.contract; | changeset | files |
| Sat, 31 Mar 2012 15:29:49 +0200 | wenzelm | more precise Local_Defs.expand wrt. *local* prems only; | changeset | files |
| Sat, 31 Mar 2012 15:21:35 +0200 | wenzelm | tuned comment; | changeset | files |
| Fri, 30 Mar 2012 21:08:00 +0200 | wenzelm | more robust Scala 2.9.x interpreter invocation -- avoid separate interpreter thread and thus deadlock of Swing_Thread.now; | changeset | files |
| Fri, 30 Mar 2012 19:36:41 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 30 Mar 2012 18:56:46 +0200 | haftmann | dropped empty files | changeset | files |
| Fri, 30 Mar 2012 18:56:02 +0200 | haftmann | dropped now obsolete Cset theories | changeset | files |
| Fri, 30 Mar 2012 17:25:34 +0200 | wenzelm | merged | changeset | files |
| Fri, 30 Mar 2012 17:22:17 +0200 | wenzelm | tuned proofs, less guesswork; | changeset | files |
| Fri, 30 Mar 2012 17:21:36 +0200 | huffman | merged | changeset | files |
| Fri, 30 Mar 2012 16:44:23 +0200 | huffman | load Tools/numeral.ML in Num.thy | changeset | files |
| Fri, 30 Mar 2012 16:43:07 +0200 | huffman | tuned proof | changeset | files |
| Fri, 30 Mar 2012 15:56:12 +0200 | huffman | set up numeral reorient simproc in Num.thy | changeset | files |
| Fri, 30 Mar 2012 15:43:30 +0200 | huffman | remove redundant simp rule | changeset | files |