--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags Thu Jul 23 14:03:20 2009 +0000
@@ -0,0 +1,8 @@
+093e273405f04f30f5a265553fa9cd5d94b69bf2 Isabelle94-4
+2c7fedb2713cded5bbf07dac39ee3e96ba812b8a Isabelle93
+760641387b209d84f3a4ca04a927f55326e5884c Isabelle94
+7cfa79d92a83b0f1d83609a9df7b5e2aa4c7b732 Isabelle94-1
+9459592608e26a85f6ab0b64f1b1dc17ca1a7fe8 isa94
+c3913a79b6aeab0bf4db79cfb76b0317d8dd17df Isabelle94-3
+c533bc92e8825f940988f819c1b028afc90c37d1 Isabelle94-2
+f04b33ce250f77c9a18c59f73fb71921cf54995e Isabelle94-5