Thu, 24 Jan 2019 13:53:33 +0100 | wenzelm | proper treatment of x86_64_32; | changeset | files |
Thu, 24 Jan 2019 10:04:32 +0100 | haftmann | more appropriate section | changeset | files |
Wed, 23 Jan 2019 17:54:50 +0000 | haftmann | combinator to lift local theory update to theory update | changeset | files |