diff -r 645ee5189bec -r d3f7c8cce53b README
--- a/README	Tue Feb 19 04:21:11 2013 +0000
+++ b/README	Tue Feb 19 05:42:51 2013 +0000
@@ -17,8 +17,8 @@
 
 
 
-Outher Subdirectories:
-======================
+Other Subdirectories:
+=====================
 
 Attic         ... old version of the quotient package (is now 
                   part of the Isabelle distribution)
@@ -33,4 +33,14 @@
 
 Quotient-Paper .. accepted to SAC
 
-Slides        ... various talks Christian gave recently
\ No newline at end of file
+Slides        ... various talks Christian gave recently
+
+
+Mercurial
+=========
+
+creating a new branch
+hg branch Nominal2-IsabelleXXXX
+
+returning to default branch
+hg update default
\ No newline at end of file