Difference between pages "File:ConjI prover.gif" and "File:ConstantTab.png"

Revision as of 20:10, 7 July 2008

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

	Date/Time	Thumbnail	Dimensions	User	Comment
current	20:49, 30 April 2020		16 × 16 (225 bytes)	Maintenance script (talk \| contribs)

The following file is a duplicate of this file (more details):

The following 3 pages link to this file:

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

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

GIF file comment	Created with The GIMP

Revision as of 09:05, 10 July 2008 (view source) imported>Mathieu (Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/conjI_prover.gif)		Revision as of 20:10, 7 July 2008 (view source) imported>Christophe
Line 1:		Line 1:
−	~~Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/conjI_prover.gif~~	+