1.1 --- a/.hgtags	Thu Feb 21 15:10:04 2013 +0100
     1.2 +++ b/.hgtags	Thu Feb 21 15:35:09 2013 +0100
     1.3 @@ -5,7 +5,6 @@
     1.4  23ceb1dc9755a8ad6f0230697d0cc52f54102bf4 Isabelle94-5
     1.5  2cf13a72e1704d0094d21e7dc68e7271a282ed31 Isabelle2008
     1.6  33b9b5da3e6faee6ca6969d17e79634d49e5b46a Isabelle94-1
     1.7 -35fba71ec6ef550178e5f5e44d95d96c6f36eae6 nominal_01
     1.8  3e47692e3a3e4c695f6345b3534ed0c36817fd40 Isabelle99-2
     1.9  50be659d4222b68f95e9c966097e59091f26acf3 Isabelle99-1
    1.10  67692db44c7099ad8789f088003213aeb095e914 Isabelle94-2
    1.11 @@ -16,11 +15,8 @@
    1.12  831a9a7ab9f352c65b0f449630b428304c89362b Isabelle93
    1.13  836950047d8508e3c200edc1e07a46c2c5e09cd7 Isabelle94-6
    1.14  8d42a7bccf0b0880dff8e46c71c4811be8b2e7ec Isabelle94-7
    1.15 -a23af144eb47f12354dff090813c796f278e2eb8 nominal_03
    1.16  be6b5edbca9ffeb3bace5f4bac5c6478bf8cbdb2 Isabelle98
    1.17 -cd41a57221d07441647284e239b8d8d77d498ef5 isa94
    1.18  ce180e5b7fa056003791fff19cc5cefba193b135 Isabelle2002
    1.19 -dde117622dace696123b023d1f06cf8d8ef9eb46 nominal_02
    1.20  f9eb0f819642b2ad77119dbf8935bf13248f205d Isabelle94
    1.21  fc385ce6187d5ad2cef90f1e6240cc691e02d827 Isabelle2005
    1.22  5c8618f95d240046bbbb609b643c06704888f587 Isabelle2009