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 |
Mon, 04 Jan 2010 14:09:57 +0100 | haftmann | dropped redundant name declarations | changeset | files |