Hi,I just noticed (Isabelle rev. 30624dab6054) that "by" allows finishes a proof (even if the proof is faulty), while ".." only finishes a proof if it can actually prove the goal.
Is this intended behaviour or just an oversight? -- Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
