Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/IMP/README.html
author wenzelm
Wed, 13 Jul 2005 16:07:35 +0200
changeset 16813 67140ae50e77
parent 15582 7219facb3fd0
child 35174 e15040ae75d7
permissions -rw-r--r--
removed ad-hoc atp_hook, cal_atp; removed depth_of; tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15283
f21466450330 DOCTYPE declaration added
webertj
parents: 2799
diff changeset 
     1
 
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
f21466450330 DOCTYPE declaration added
webertj
parents: 2799
diff changeset 
     2
 







15582






7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     3


<!-- $Id$ -->













7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     4














7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     5


<HTML>













7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     6














7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     7


<HEAD>













7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     8


  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">













7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




     9


  <TITLE>HOLCF/IMP/README</TITLE>













7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




    10


</HEAD>













7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




    11














7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




    12


<BODY>








2799






1857b7e2e095
*** empty log message ***



nipkow


parents: 

diff
changeset




    13









15283






f21466450330
DOCTYPE declaration added



webertj


parents: 
2799

diff
changeset




    14


<H2>IMP -- A <KBD>WHILE</KBD>-language and its Semantics</H2>








2799






1857b7e2e095
*** empty log message ***



nipkow


parents: 

diff
changeset




    15














1857b7e2e095
*** empty log message ***



nipkow


parents: 

diff
changeset




    16


This is the HOLCF-based denotational semantics of a simple








15283






f21466450330
DOCTYPE declaration added



webertj


parents: 
2799

diff
changeset




    17


<tt>WHILE</tt>-language.  For a full description see <A













f21466450330
DOCTYPE declaration added



webertj


parents: 
2799

diff
changeset




    18


HREF="../../HOL/IMP/index.html">HOL/IMP</A>.








15582






7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




    19


</BODY>













7219facb3fd0
HTML 4.01 Transitional conformity



webertj


parents: 
15283

diff
changeset




    20


</HTML>















isabelle