| Tue, 31 Dec 2013 14:29:16 +0100 | wenzelm | proper context for norm_hhf and derived operations; | changeset | files |
| Tue, 31 Dec 2013 11:19:14 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Mon, 30 Dec 2013 20:35:17 +0100 | wenzelm | added system option "jedit_print_mode"; | changeset | files |
| Mon, 30 Dec 2013 12:58:13 +0100 | wenzelm | avoid hardwired /bin/bash (like canonical Isabelle shell scripts); | changeset | files |
| Mon, 30 Dec 2013 12:43:06 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 29 Dec 2013 23:21:14 +0100 | haftmann | simplified | changeset | files |
| Sun, 29 Dec 2013 23:21:13 +0100 | haftmann | more compact representation of different situations for interpretation | changeset | files |
| Sun, 29 Dec 2013 23:21:12 +0100 | haftmann | more succint formulation of special case | changeset | files |
| Sun, 29 Dec 2013 23:21:11 +0100 | haftmann | tuned whitespace | changeset | files |
| Sat, 28 Dec 2013 21:06:26 +0100 | haftmann | move instantiation here from AFP/Native_Word | changeset | files |
| Sat, 28 Dec 2013 21:06:25 +0100 | haftmann | dropped junk | changeset | files |
| Sat, 28 Dec 2013 21:06:24 +0100 | haftmann | postpone dis"useful" lemmas | changeset | files |
| Sat, 28 Dec 2013 21:06:22 +0100 | haftmann | cleanup | changeset | files |
| Sat, 28 Dec 2013 17:51:54 +0100 | haftmann | prefix disambiguation | changeset | files |
| Fri, 27 Dec 2013 20:35:32 +0100 | haftmann | tuned proofs and declarations | changeset | files |