hi<br><br>i m trying to run the example of SET protocol in Isabelle but i can't run it... it came out with the errors. <br><br>*** Theory loader: failed to load "Public_SET" (unresolved "Event_SET")<br>
*** Theory loader: failed to load "Event_SET" (unresolved "Message_SET")<br>*** Theory loader: failed to load "Message_SET" (unresolved "Nat_Bijection")<br>*** Inner lexical error at: × nat (line 15 of "/home/pho thar/Nat_Bijection.thy")<br>
*** Failed to parse type (line 15 of "/home/pho thar/Nat_Bijection.thy")<br>*** The error(s) above occurred in document antiquotation: "typ" (line 15 of "/home/pho thar/Nat_Bijection.thy")<br>
*** At command "subsection" (line 15 of "/home/pho thar/Nat_Bijection.thy").<br>*** At command "theory".<br><br>Can anyone pls tell me, how to run that sample SET protocol?<br><br>tnks<br>see rockyy  <br>
<br><br>