updated "isar-ref" manual, reduced remaining material in "ref" manual.

--- a/NEWS	Wed Jun 20 21:18:35 2012 +0200
+++ b/NEWS	Mon Jun 25 11:07:51 2012 +0200
@@ -9,6 +9,9 @@
 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which
 is called fastforce / fast_force_tac already since Isabelle2011-1.
 
+* Updated and extended "isar-ref" manual, reduced remaining material
+in old "ref" manual.
+
 
 *** System ***
 
@@ -37,6 +40,8 @@
 
   - Rationalized type encodings ("type_enc" option).
 
+
+
 New in Isabelle2012 (May 2012)
 ------------------------------