-
Ike Mulder authored
Moving to Program Instances for examples, renamed iHammer to iSmash, empty_hyps are now removed on introduction.
4eec9f17
Moving to Program Instances for examples, renamed iHammer to iSmash, empty_hyps are now removed on introduction.