clarified some methods
parse labelled term blocks (e.g. "picking this", "using this", etc.) -- markup only for now
missing dependency
basic support for assumptions in goals (and thus structured Isar proof): analysing how assumptions and goals change, then join everything into a graph using GoalGraphMatcher2
Assumption and Judgement terms
generated model and edit code for Assumption and Judgement terms
using Assumption and Judgement term
clone terms for containment references
unused dependency
Merge branch 'step-assms'