Example Submission

Title:	Example Submission
Author:	Gerwin Klein
Submission date:	2004-02-25
Abstract:	This is an example submission to the Archive of Formal Proofs. It shows submission requirements and explains the structure of a simple typical submission.
License:	BSD License

">Proof outline ">Proof document

">Browse theories

">Download this entry

Older releases: Isabelle 2013-2: -2013-12-11.tar.gz">afp--2013-12-11.tar.gz Isabelle 2013: -2011-02-11.tar.gz">afp--2013-02-16.tar.gz Isabelle 2012: -2011-02-11.tar.gz">afp--2012-05-24.tar.gz Isabelle 2011-1: -2011-02-11.tar.gz">afp--2011-10-11.tar.gz Isabelle 2011: -2011-02-11.tar.gz">afp--2011-02-11.tar.gz Isabelle 2009-2: -2010-06-30.tar.gz">afp--2010-06-30.tar.gz Isabelle 2009-1: -2009-12-12.tar.gz">afp--2009-12-12.tar.gz Isabelle 2009: -2009-04-29.tar.gz">afp--2009-04-29.tar.gz Isabelle 2008: -2008-06-10.tar.gz">afp--2008-06-10.tar.gz Isabelle 2007: -2007-11-27.tar.gz">afp--2007-11-27.tar.gz Isabelle 2005: -2006-11-13.tar.gz">afp--2006-11-13.tar.gz Isabelle 2005: -2006-11-10.tar.gz">afp--2006-11-10.tar.gz Isabelle 2005: -2005-10-14.tar.gz">afp--2005-10-14.tar.gz Isabelle 2004: -2004-05-21.tar.gz">afp--2004-05-21.tar.gz Isabelle 2004: -2004-04-20.tar.gz">afp--2004-04-20.tar.gz Isabelle 2003: -2004-03-05.tar.gz">afp--2004-03-05.tar.gz Isabelle 2003: -2004-02-25.tar.gz">afp--2004-02-25.tar.gz