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/FOLP/ex/If.thy
author wenzelm
Sun, 18 Sep 2005 14:25:48 +0200
changeset 17480 fd19f77dcf60
parent 0 a5a9c433f639
child 19796 d86e7b1fc472
permissions -rw-r--r--
converted to Isar theory format;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17480
fd19f77dcf60 converted to Isar theory format;
wenzelm
parents: 0
diff changeset 
     1
 
(* $Id$ *)
fd19f77dcf60 converted to Isar theory format;
wenzelm
parents: 0
diff changeset 
     2
 












fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




     3


theory If













fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




     4


imports FOLP













fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




     5


begin













fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




     6














fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




     7


constdefs













fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




     8


  if :: "[o,o,o]=>o"













fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




     9


  "if(P,Q,R) == P&Q | ~P&R"













fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




    10














fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




    11


ML {* use_legacy_bindings (the_context ()) *}













fd19f77dcf60
converted to Isar theory format;



wenzelm


parents: 
0

diff
changeset




    12









0






a5a9c433f639
Initial revision



clasohm


parents: 

diff
changeset




    13


end















isabelle