| Wed, 03 Nov 2010 08:29:32 +0100 | nipkow | removed assumption | changeset | files |
| Tue, 02 Nov 2010 21:59:21 +0100 | wenzelm | more on naming tactics; | changeset | files |
| Tue, 02 Nov 2010 21:24:07 +0100 | wenzelm | merged | changeset | files |
| Tue, 02 Nov 2010 20:32:33 +0100 | haftmann | merged | changeset | files |
| Tue, 02 Nov 2010 16:59:40 +0100 | haftmann | tuned proof | changeset | files |
| Tue, 02 Nov 2010 16:48:19 +0100 | haftmann | tuned proof | changeset | files |
| Tue, 02 Nov 2010 16:36:33 +0100 | haftmann | tuned lemma proposition of properties_for_sort_key | changeset | files |
| Tue, 02 Nov 2010 16:31:57 +0100 | haftmann | lemmas sorted_map_same, sorted_same | changeset | files |
| Tue, 02 Nov 2010 16:31:56 +0100 | haftmann | lemmas multiset_of_filter, sort_key_by_quicksort | changeset | files |
| Tue, 02 Nov 2010 21:21:07 +0100 | wenzelm | more on "Time" in Isabelle/ML; | changeset | files |
| Tue, 02 Nov 2010 20:55:12 +0100 | wenzelm | simplified some time constants; | changeset | files |
| Tue, 02 Nov 2010 20:31:46 +0100 | wenzelm | added convenience operation seconds: real -> time; | changeset | files |