HomeIsabelle/Phabricator

updated benchmarks

Description

updated benchmarks

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP7904a23154fd: adapted to Isabelle 80d7f004089d
Branches
Unknown
Tags
Unknown

Event Timeline