| Sun, 01 Apr 2012 21:12:04 +0200 | krauss | adapted Mira configuration to dd04c8173bb2. | changeset | files |
| Sun, 01 Apr 2012 16:09:58 +0200 | huffman | removed Nat_Numeral.thy, moving all theorems elsewhere | changeset | files |
| Sun, 01 Apr 2012 22:02:14 +0200 | wenzelm | less brutal return from function, to allow caller to report error; | changeset | files |
| Sun, 01 Apr 2012 21:46:45 +0200 | wenzelm | more general context command with auxiliary fixes/assumes etc.; | changeset | files |
| Sun, 01 Apr 2012 21:45:25 +0200 | wenzelm | more precise type annotation (cf. 6523a21076a8); | changeset | files |
| Sun, 01 Apr 2012 20:42:19 +0200 | wenzelm | nothing specific about named target; | changeset | files |
| Sun, 01 Apr 2012 20:36:33 +0200 | wenzelm | clarified Generic_Target.notes: always perform Attrib.partial_evaluation; | changeset | files |