# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1361252571 0
# Node ID d3f7c8cce53b0652c5e59d68e6fa001e464c412d
# Parent  645ee5189bece0938b3c60bf0cb84ab9b6f96ac2
updated README

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