HomeIsabelle/Phabricator
Diffusion afp-devel e0dfdf1b8ed4

Removed inactive DOI
e0dfdf1b8ed4
Actions

Description

Removed inactive DOI

Details

Provenance
Thibault Dardinier <thibault.dardinier@inf.ethz.ch>Authored on
Parents
rAFPd8fb49658d5f: more showl-real instantiation to Show_Real thy
Branches
Unknown
Tags
Unknown

Event Timeline

Thibault Dardinier <thibault.dardinier@inf.ethz.ch> committed rAFPe0dfdf1b8ed4: Removed inactive DOI.Mon, Apr 15, 5:48 PM

Changes (1)

PathSize
metadata/
entries/

rAFPe0dfdf1b8ed4

View Options

metadata/entries/HyperHoareLogic.toml

Loading...