| Sun, 21 Aug 2011 20:04:02 +0200 | wenzelm | default style for user fonts -- to prevent org.gjt.sp.jedit.print.BufferPrintable from choking on null; | changeset | files |
| Sun, 21 Aug 2011 19:32:20 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 21 Aug 2011 14:16:44 +0200 | wenzelm | discontinued somewhat pointless Par_List.map_name -- most of the time is spent in tokenization; | changeset | files |
| Sun, 21 Aug 2011 13:42:55 +0200 | wenzelm | discontinued obsolete Thy_Syntax.report_span -- information can be reproduced in Isabelle/Scala; | changeset | files |
| Sun, 21 Aug 2011 13:36:23 +0200 | wenzelm | merged | changeset | files |
| Sat, 20 Aug 2011 15:19:35 -0700 | huffman | replace lemma realpow_two_diff with new lemma square_diff_square_factored | changeset | files |
| Sat, 20 Aug 2011 15:54:26 -0700 | huffman | remove redundant lemma real_0_le_divide_iff in favor or zero_le_divide_iff | changeset | files |
| Sat, 20 Aug 2011 13:07:00 -0700 | huffman | move lemma add_eq_0_iff to Groups.thy | changeset | files |