| Wed, 10 Mar 2010 16:53:43 +0100 | haftmann | added locales for monoids | file | diff | annotate |
| Sat, 27 Feb 2010 23:13:01 +0100 | wenzelm | modernized structure Term_Ord; | file | diff | annotate |
| Thu, 25 Feb 2010 22:32:09 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Mon, 22 Feb 2010 15:53:18 +0100 | haftmann | distributed theory Algebras to theories Groups and Lattices | file | diff | annotate |
| Fri, 19 Feb 2010 14:47:01 +0100 | haftmann | moved remaning class operations from Algebras.thy to Groups.thy | file | diff | annotate |
| Thu, 18 Feb 2010 14:21:44 -0800 | huffman | get rid of many duplicate simp rule warnings | file | diff | annotate |
| Wed, 10 Feb 2010 14:12:04 +0100 | haftmann | moved less_eq, less to Orderings.thy; moved abs, sgn to Groups.thy | file | diff | annotate |
| Mon, 08 Feb 2010 17:12:38 +0100 | haftmann | renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields | file | diff | annotate | base |