Template context: Add a function for asserting the current Isabelle subgoal.
Template context: Add a function for asserting the current Isabelle subgoal.

smaccm/camkes-tool,agacek/camkes-tool,smaccm/camkes-tool,agacek/camkes-tool,agacek/camkes-tool,smaccm/camkes-tool,smaccm/camkes-tool