Fri, 25 Jan 2008 14:53:52 +0100 | haftmann | moved definition of power on ints to theory Int | changeset | files |
Thu, 24 Jan 2008 23:51:22 +0100 | wenzelm | removed unused properties; | changeset | files |
Thu, 24 Jan 2008 23:51:20 +0100 | wenzelm | replaced ContextPosition by Position.thread_data; | changeset | files |