HomeIsabelle/Phabricator

Updating Jinja from apply-style to Isar-style

Description

Updating Jinja from apply-style to Isar-style

Details

Provenance
Susannah Mansky <susannahej@gmail.com>Authored on
Parents
rAFP3d82fe267f9a: Monad_Memo_DP add material on BSTs
Branches
Unknown
Tags
Unknown