HomeIsabelle/Phabricator

updated benchmarks

Description

updated benchmarks

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Fri, Jun 26, 8:44 AM
Parents
rAFP7904a23154fd: adapted to Isabelle 80d7f004089d
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP831c1c4ea702: updated benchmarks.Fri, Jun 26, 8:44 AM