Home
Phabricator
Search
Configure Global Search
Log In
Diffusion
Isabelle
66c025383422
tuned
66c025383422
Actions
Authored by
nipkow
.
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
Description
tuned
Details
Committed
nipkow
Nov 5 2019, 1:56 PM
Parents
rISABELLEc2465b429e6e: Line_Segment is independent of Convex_Euclidean_Space
Branches
Unknown
Tags
Unknown
Event Timeline
nipkow committed
rISABELLE66c025383422: tuned
.
Nov 5 2019, 1:56 PM