renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
<?xml version="1.0"?>
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
<!-- $Id$ -->
<DOCKABLES>
<DOCKABLE NAME="isabelle" MOVABLE="TRUE">
new isabelle.jedit.IsabelleDock(view, position);
</DOCKABLE>
</DOCKABLES>