Index: doc/next-migration.html
===================================================================
diff -u -r18122dd21b99cf0d5b4cd01635048641a23aa051 -r3754364287df2dfdf79b81dfa69224eae19cf691
--- doc/next-migration.html	(.../next-migration.html)	(revision 18122dd21b99cf0d5b4cd01635048641a23aa051)
+++ doc/next-migration.html	(.../next-migration.html)	(revision 3754364287df2dfdf79b81dfa69224eae19cf691)
@@ -1222,41 +1222,31 @@
   <tr>
     <td><code><i>obj</i> istype <i>sometype</i></code></td>
     <td>
-      TODO: ::nsf::objectproperty and/or
-  ::nx::objectproperty and/or nx::is?<p>
-      <code>::nsf::objectproperty <i>obj</i> type <i>sometype</i></code><br>
-      <hr>
-      <code><i>obj</i> info is type <i>sometype</i></code>
+     <code><i>obj</i> info has type <i>sometype</i></code>
     </td>
   </tr>
   <tr>
     <td><code><i>obj</i> ismixin <i>cls</i></code></td>
     <td>
-      <code>::nsf::objectproperty <i>obj</i> mixin <i>cls</i></code><br>
-      <hr>
-      <code><i>obj</i> info is mixin <i>cls</i></code>
+     <code><i>obj</i> info has mixin <i>cls</i></code>
     </td>
   </tr>
   <tr>
     <td><code><i>obj</i> isclass <i>?cls?</i></code></td>
     <td>
-      <code>::nsf::objectproperty <i>obj|cls</i> class</code><br>
-      <hr>
-      <code><i>obj</i> info is class</code>
+     <code><i>obj</i> info is class</code>
     </td>
   </tr>
   <tr>
     <td><code><i>obj</i> ismetaclass <i>cls</i></code></td>
-    <td><code>::nsf::objectproperty <i>obj|cls</i> metaclass</code>
-      <hr>
+    <td>
       <code><i>obj</i> info is metaclass</code>
     </td>
   </tr>
   <tr>
     <td><i>n.a.</i></td>
-   <td><code>::nsf::objectproperty <i>cls</i> baseclass</code>
-      <hr>
-      <code><i>cls</i> info is baseclass</code>
+   <td>
+      <code><i>obj</i> info is baseclass</code>
     </td>
   </tr>  
  <tr>
@@ -1445,6 +1435,6 @@
 
 <hr>
 <address></address>
-<!-- hhmts start --> Last modified: Tue Aug 31 21:43:43 CEST 2010 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Sep  1 11:08:17 CEST 2010 <!-- hhmts end -->
 </body>
 </html>