wneuper [Fri, 28 Jul 2006 18:54:58 +0200] rev 623
thy elements store_*d in *.ML-files are NOT overwritten in Isac.ML
wneuper [Fri, 28 Jul 2006 17:30:20 +0200] rev 622
store_* theory-elements added, inhibit overwriting in Isac.ML does not yet work
wneuper [Thu, 27 Jul 2006 18:54:47 +0200] rev 621
work on error in locate_gen: ([1],Frm)-->([2],Res)
wneuper [Thu, 27 Jul 2006 18:09:17 +0200] rev 620
implemented setContext..Thy;
makes same error as setNextTactic + autoCalculate (in locate_gen): ([1],Frm)-->([2],Res)
wneuper [Thu, 27 Jul 2006 13:14:34 +0200] rev 619
bugfix in refineProblem
wneuper [Thu, 27 Jul 2006 12:27:32 +0200] rev 618
on inserting a formula in a calculation cut the tree down to result
(cutting was restricted to the range of subpbl for test reasons since 05)
wneuper [Thu, 27 Jul 2006 11:12:21 +0200] rev 617
code polishing
wneuper [Wed, 26 Jul 2006 19:30:02 +0200] rev 616
updated refineProblem
wneuper [Wed, 26 Jul 2006 19:01:11 +0200] rev 615
debugging setContext; pbl ok
wneuper [Wed, 26 Jul 2006 16:25:22 +0200] rev 614
sml: prepare rewriter to return the position of thm-application