On 16.05.2014 12:53, Lars Noschinski wrote: > On 16.05.2014 12:30, Gerwin Klein wrote: >> Looks ok, but what about all the other operators? (shift, rotate, etc) > As far as I can see, shift and rotate don't have their own lemmas for > evaluating numerals, so the demise of neg_numerals shouldn't have > introduced a regression there.
See now 376604d56b5 -- Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
