Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
All
isabelle-repo
#452
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
repair LaTeX dropout from f83ef97d8d7d
Changeset
63906:fa799a8e4adc
by
lars hupel _lars.hupel@mytum.de_
:
repair LaTeX dropout from f83ef97d8d7d
The file was modified
src/FOL/IFOL.thy
(diff)