Tue, 21 Aug 2007 16:52:47 +0200 | huffman | simplify proof of word_of_int | changeset | files |
Tue, 21 Aug 2007 13:30:38 +0200 | haftmann | improved evaluation interface | changeset | files |
Tue, 21 Aug 2007 13:30:36 +0200 | haftmann | moved ordered_ab_semigroup_add to OrderedGroup.thy | changeset | files |