| Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | avoid odd bifurcation with Attrib.local_notes vs. Locale.add_thmss -- n.b. note_eqns_dependency operates in a specific locale target | changeset | files |
| Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | tuned for uniformity | changeset | files |
| Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | reflection as official HOL tool | changeset | files |
| Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | follow Isabelle spacing praxis more thoroughly | changeset | files |
| Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | honour FIXMEs as far as feasible at the moment | changeset | files |
| Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | combined reify_data.ML into reflection.ML; | changeset | files |
| Sat, 20 Apr 2013 20:57:49 +0200 | nipkow | proved termination for fun-based AI | changeset | files |
| Sat, 20 Apr 2013 19:30:04 +0200 | nipkow | tuned | changeset | files |