[69143c]: web / entries / Example-Submission.shtml  Maximize  Restore  History

Download this file

83 lines (71 with data), 2.3 kB

<!DOCTYPE public "-//w3c//dtd html 4.01 transitional//en"
		"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
  <title>Archive of Formal Proofs</title>
  <link rel="stylesheet" type="text/css" href="front.css">
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
  <meta name="GENERATOR" content="Quanta Plus">
</head>
<body>

<table width="100%">
  <tbody>
    <tr>
      <td width="20%" align="center" valign="top">
      <!-- navigation -->
      <!--#include file="nav.html"-->
      </td>
      <td width="80%" valign="top">
      <!-- content -->

<div align="center">
<p> </p>
<!-- entry data here: -->
<h1><font class="first">E</font>xample 
    <font class="first">S</font>ubmission</h1>
<p> </p>

<table width="80%" class="data">
  <tbody>
    <tr><td class="datahead" width="20%">Title:</td>
	    <td class="data" width="80%">Example Submission</td></tr>
		
    <tr><td class="datahead">Author:</td>
	    <td class="data"><a href="http://www.cse.unsw.edu.au/~kleing/">Gerwin Klein</a></td></tr>
		
    <tr><td class="datahead">Submisison date:</td> 
	    <td class="data">2003-02-25</td></tr>
		
	<tr><td class="datahead" valign="top">Abstract:</td>
	    <td class="abstract">   
This is an example submission to the Archive of Formal Proof. It shows
submission requirements and explains the structure of a simple typical
submission.
   </td></tr>
</tbody>
</table>

<p> </p>

<!--#set var="name" value="Example-Submission" -->

<!--#set var="doc" value="../browser_info/current/HOL/${name}/document.pdf" -->
<!--#set var="browse" value="../browser_info/current/HOL/${name}/index.html" -->
<!--#set var="tar" value="../release/afp-${name}-current.tar.gz" -->

<table class="links">
  <tbody>
    <tr>
  <td class="links">
	<a href="<!--#echo var="doc" -->">Proof document</a>
  </td>
	<!-- link to README.hmtl if no document exists -->	
	</tr>
    <tr>
  <td class="links">
	<a href="<!--#echo var="browse" -->">Browse theories</a>
	</td></tr>
    <tr>
  <td class="links"> 
	<a href="<!--#echo var="tar" -->">Download this entry</a>
	</td>
  </tr>
    <tr><td class="links">Older releases:	None</td></tr>
  </tbody>
</table>
<!-- entry data end -->

</td> </tr> </table>
<div align="right" class="date">$Date: 2004-03-05 11:01:02 $, $Revision: 1.1.2.3 $</div>
</body>
</html>

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks