
diff -r 525c512629c7 -r c70342f08326 hws/hw05.tex
--- a/hws/hw05.tex	Tue Dec 10 16:56:59 2013 +0000
+++ b/hws/hw05.tex	Sat Dec 28 10:12:27 2013 +0000
@@ -27,23 +27,23 @@
 \end{tabular}
 \end{center}
 
-\item Give a justification for the derived rule
-\begin{center}
-\begin{tabular}{c}
-$\Gamma \vdash P\;\mapsto\;Q$ \hspace{4mm} $\Gamma \vdash P\;\textit{says}\;F$\\\hline
-$\Gamma \vdash Q\;\textit{says}\;F$
-\end{tabular}
-\end{center}
+%\item Give a justification for the derived rule
+%\begin{center}
+%\begin{tabular}{c}
+%$\Gamma \vdash P\;\mapsto\;Q$ \hspace{4mm} $\Gamma \vdash P\;\textit{says}\;F$\\\hline
+%$\Gamma \vdash Q\;\textit{says}\;F$
+%\end{tabular}
+%\end{center}
 
-\item Model formally the situation that a customer has bought a ticket and requests to see a
-movie. For this suppose three principals, {\it Ticket}, {\it Customer} and {\it Cinema},
-and suppose an authorization 
-\begin{center}
-$\textit{Permitted}(\textit{Customer}, \textit{sees\_movie})$.
-\end{center}
-Using access-control logic, give formulas for a {\it Customer}'s access
-request, an access-control policy of the {\it Cinema}, a trust assumption
-and a ticket rule.
+%\item Model formally the situation that a customer has bought a ticket and requests to see a
+%movie. For this suppose three principals, {\it Ticket}, {\it Customer} and {\it Cinema},
+%and suppose an authorization 
+%\begin{center}
+%$\textit{Permitted}(\textit{Customer}, \textit{sees\_movie})$.
+%\end{center}
+%Using access-control logic, give formulas for a {\it Customer}'s access
+%request, an access-control policy of the {\it Cinema}, a trust assumption
+%and a ticket rule.
 
 \item Assume $\Gamma$ is a set consisting of the three formulas:
 \begin{center}




