Renamed inductive2 to inductive.

--- a/src/HOL/Unix/Unix.thy	Wed Jul 11 11:47:13 2007 +0200
+++ b/src/HOL/Unix/Unix.thy	Wed Jul 11 11:47:24 2007 +0200
@@ -350,7 +350,7 @@
   involved here).
 *}
 
-inductive2
+inductive
   transition :: "file \<Rightarrow> operation \<Rightarrow> file \<Rightarrow> bool"
     ("_ \<midarrow>_\<rightarrow> _" [90, 1000, 90] 100)
 where
@@ -501,7 +501,7 @@
   amount of time.
 *}
 
-inductive2
+inductive
   transitions :: "file \<Rightarrow> operation list \<Rightarrow> file \<Rightarrow> bool"
     ("_ =_\<Rightarrow> _" [90, 1000, 90] 100)
 where