1 files changed, 1 insertions, 1 deletions
diff --git a/isa/README b/isa/README
index 24f09428..8207071a 100644
--- a/isa/README
+++ b/isa/README
@@ -5,7 +5,7 @@ Markus Wenzel and David von Oheimb.
 
 Status:		   supported
 Maintainer:	   David Aspinall
-Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2001
+Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2002
 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 
 ========================================