HomeIsabelle/Phabricator

New entry PNT_with_Remainder, including some corrections to root.tex, etc.

Description

New entry PNT_with_Remainder, including some corrections to root.tex, etc.

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFPed2967e3a478: sitegen for Substitutions_Lambda_Free
Branches
Unknown
Tags
Unknown