I added two useful simp rules that broke (= mostly shortened) a number of
proofs. I'll fix the slow sessions over the next few days - they are a bit of a
challenge.
Tobias
On 18/06/2017 20:38, Florian Haftmann wrote:
isabelle: 20304512a33b tip
afp: 644957b424ee tip
JinjaThreads FAILED
(see
> isabelle: 20304512a33b tip
> afp: 644957b424ee tip
> JinjaThreads FAILED
> (see also
> /srv/data/tum/isabelle/master/heaps/polyml-5.6_x86-linux/log/JinjaThreads)
> ***(\T.
> ***typeof\<^bsub>h\<^esub> v =
> ***