Re: [isabelle] New AFP entry: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer
This is an Isabelle feature not a bug. Thy files are processed, as a
side effect tex files are produced and turned into pdf, which is meant
to be read. For example to get an overview that hides the proofs.
Jens Doll wrote:
> The corresponding paper >proof outline< is a little confusing to me,
> because it contains the machine readable sources.
> Was it meant to be read or to be processed?
> P.S.: the same applies to >proof theory<
>> Backing up Slicing: Verifying the Interprocedural Two-Phase
>> Horwitz-Reps-Binkley Slicer
>> Author: Daniel Wasserrab
This archive was generated by a fusion of
Pipermail (Mailman edition) and