Mon, 04 Jan 2010 20:25:56 +0100 | wenzelm | removed further remains of mutable theory data (cf. 25bd3ed2ac9f); | changeset | files |
Mon, 04 Jan 2010 19:44:46 +0100 | wenzelm | merged | changeset | files |
Mon, 04 Jan 2010 16:00:24 +0100 | haftmann | code cache only persists on equal theories | changeset | files |
Mon, 04 Jan 2010 16:00:23 +0100 | haftmann | moved name duplicates to end of theory; reduced warning noise | changeset | files |
Mon, 04 Jan 2010 14:10:13 +0100 | haftmann | merged | changeset | files |
Mon, 04 Jan 2010 14:09:58 +0100 | haftmann | modernized | changeset | files |
Mon, 04 Jan 2010 14:09:57 +0100 | haftmann | added applify combinator | changeset | files |