other
(in-package "STD")
other
(include-book "defmvtypes")
other
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (not (inducting-p (parse-clause-id "Goal"))))
other
(assert! (not (inducting-p (parse-clause-id "Goal''"))))
other
(assert! (not (inducting-p (parse-clause-id "Subgoal 2''"))))
other
(assert! (parse-clause-id "Subgoal *1/3"))
other
(assert! (parse-clause-id "Subgoal *1/3''"))
other
(assert! (parse-clause-id "[1]Subgoal *1/3''"))