Update some out of date READMEs

Author: myreen

basis/pure/README.md

@@ -33,8 +33,7 @@ Pure functions for the Rat module.
 
 [mlsetScript.sml](mlsetScript.sml):
 Pure functions for the Set module.
-This file defines a wrapper around the balanced_map type. See
-$HOLDIR/examples/balanced_bst/osetScript.sml.
+This file defines a wrapper around the balanced_map type.
 
 [mlstringLib.sml](mlstringLib.sml):
 More ML functions for manipulating HOL terms involving mlstrings.

misc/README.md

@@ -7,9 +7,6 @@ Build a basic compset for evaluation in the logic.
 [induct_tweakLib.sml](induct_tweakLib.sml):
 Code for adjusting and improving induction theorems.
 
-[libScript.sml](libScript.sml):
-Renamnts of Lem dependency
-
 [miscScript.sml](miscScript.sml):
 Miscellaneous definitions and minor lemmas used throughout the
 development.