Added nicer ways of storing current instance of hard/routine reasoning and added a nice Isar command for hipspec, see Examples/TreeDemo.thy
strange error