| Wed, 16 Nov 2011 12:29:50 +0100 | huffman | simplify proof of word_of_int; remove several now-unused lemmas about Rep_Integ | changeset | files |
| Wed, 16 Nov 2011 23:09:46 +0100 | wenzelm | retain mixed attributes as dynamic theorem expression, but disallow subsequent static rules; | changeset | files |
| Wed, 16 Nov 2011 21:16:36 +0100 | wenzelm | clarified Attrib.partial_evaluation; | changeset | files |
| Wed, 16 Nov 2011 20:56:21 +0100 | wenzelm | tagging is not stable under morphisms and need to be replayed dynamically (mixed_attribute); | changeset | files |
| Wed, 16 Nov 2011 17:59:58 +0100 | blanchet | compile | changeset | files |
| Wed, 16 Nov 2011 17:26:42 +0100 | blanchet | compile | changeset | files |
| Wed, 16 Nov 2011 17:19:08 +0100 | blanchet | compile | changeset | files |