Tue, 23 Apr 2013 11:14:50 +0200 | haftmann | tuned | changeset | files |
Mon, 22 Apr 2013 18:39:12 +0200 | immler | removed type constraints | changeset | files |
Mon, 22 Apr 2013 16:36:02 +0200 | hoelzl | NEWS | changeset | files |
Sun, 21 Apr 2013 20:08:13 +0200 | haftmann | more sharing | changeset | files |
Sun, 21 Apr 2013 16:29:40 +0200 | haftmann | interpretation: distinguish theories and proofs by explicit parameter rather than generic context; | changeset | files |
Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | dropped unusued identifier | changeset | files |
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 |