On 11.06.2014 06:56, Thomas Sewell wrote: > OK, I've finished the needed adjustments the AFP proofs which were > affected by the hypsubst change. > > The result is fairly encouraging: the AFP is *huge* and the diffstat > of the required changes is: > 63 files changed, 134 insertions(+), 81 deletions(-) > > Not an especially high percentage of changes in the end. Nice! > I don't think there's a testboard equivalent for a simultaneous > Isabelle/AFP change, That is correct.
-- Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
