updated doc

This commit is contained in:
aarne
2007-07-08 16:53:52 +00:00
parent c7e85d60fb
commit 09d13581d2
48 changed files with 2317 additions and 1374 deletions

View File

@@ -6,7 +6,7 @@
</HEAD><BODY BGCOLOR="white" TEXT="black">
<P ALIGN="center"><CENTER><H1> A Small Predication Library</H1>
<FONT SIZE="4">
<I>Last update: 2006-03-03 17:06:11 CET</I><BR>
<I>Last update: 2006-02-28 09:26:58 CET</I><BR>
</FONT></CENTER>
<P></P>
@@ -108,6 +108,6 @@ This is similar to a family except that the argument is a type.
</PRE>
<P></P>
<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) -->
<!-- html code generated by txt2tags 2.3 (http://txt2tags.sf.net) -->
<!-- cmdline: txt2tags -thtml -\-toc mathematical/Predication.txt -->
</BODY></HTML>