File:Sequent prover transitions.png: Difference between revisions

Latest revision as of 10:57, 5 January 2026

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Dimensions	User
current	10:57, 5 January 2026	2,244 × 1,008 (115 KB)	Engels (talk \| contribs)
	10:17, 5 January 2026	1,526 × 959 (95 KB)	Engels (talk \| contribs)
	09:39, 1 January 2026	1,070 × 1,098 (70 KB)	Engels (talk \| contribs)

You cannot overwrite this file.

The following page uses this file:

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

Horizontal resolution	66.14 dpc
Vertical resolution	66.14 dpc

Revision as of 09:39, 1 January 2026 view source Engels (talk \| contribs) 9 edits No edit summary	Latest revision as of 10:57, 5 January 2026 view source Engels (talk \| contribs) 9 edits Engels uploaded a new version of File:Sequent prover transitions.png
(One intermediate revision by the same user not shown)
(No difference)