1.1 --- a/.hgtags	Thu Dec 03 19:30:42 2009 +0100
     1.2 +++ b/.hgtags	Thu Dec 03 19:31:55 2009 +0100
     1.3 @@ -24,10 +24,4 @@
     1.4  f9eb0f819642b2ad77119dbf8935bf13248f205d Isabelle94
     1.5  fc385ce6187d5ad2cef90f1e6240cc691e02d827 Isabelle2005
     1.6  5c8618f95d240046bbbb609b643c06704888f587 Isabelle2009
     1.7 -9db7854eafc75143cda2509a5325eb9150331866 isa2009-1-test
     1.8 -9db7854eafc75143cda2509a5325eb9150331866 isa2009-1-test
     1.9 -4328de748fb2ceffe4ad5a6d5fbf3347f6aecfa6 isa2009-1-test
    1.10 -14ff44e21bec0e1b99d0f7322949b4fd012333e0 isa2009-1-test
    1.11 -14ff44e21bec0e1b99d0f7322949b4fd012333e0 isa2009-1-test
    1.12 -e1c262952b0285fa93f2e153891bc573d3de0f33 isa2009-1-test
    1.13  6a973bd4394996c31f638e5c59ea6bb953335c9a Isabelle2009-1