| Wed, 15 Feb 2012 23:19:30 +0100 | wenzelm | renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in conformance with similar operations in structure Term and Logic; | file | diff | annotate |
| Mon, 08 Aug 2011 09:52:09 -0700 | huffman | moved division ring stuff from Rings.thy to Fields.thy | file | diff | annotate |
| Sun, 24 Oct 2010 20:19:00 +0200 | nipkow | nat_number -> eval_nat_numeral | file | diff | annotate |
| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
| Sat, 15 May 2010 21:50:05 +0200 | wenzelm | less pervasive names from structure Thm; | file | diff | annotate |
| Sat, 08 May 2010 22:29:44 +0200 | wenzelm | made SML/NJ happy; | file | diff | annotate |
| Sat, 08 May 2010 17:15:50 +0200 | haftmann | merged | file | diff | annotate | base |
| Fri, 07 May 2010 16:12:26 +0200 | haftmann | renamed Normalizer to the more specific Semiring_Normalizer | file | diff | annotate | base |