Skip to content
Jenkins
log in
Dashboard
Benedikt Seidl <benedikt.seidl@tum.de>
My Views
All
afp-repo
#1436
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
merged
improved implementation efficiency
Changeset
8973:9e3ecdedcb13
by
julian brunner _julianbrunner@gmail.com_
:
merged
Changeset
8972:7c5988e4c9b8
by
julian brunner _julianbrunner@gmail.com_
:
improved implementation efficiency
The file was modified
thys/Transition_Systems_and_Automata/Automata/BA_Translate.thy
(diff)