Commit cb281ad8 authored by Christian Müller's avatar Christian Müller
Browse files

fix examples

parent fdedac4c
...@@ -9,7 +9,7 @@ forallmay t:TA,s:Student ...@@ -9,7 +9,7 @@ forallmay t:TA,s:Student
Declassify Declassify
O(p:Prof,s:Student,g:Grade): True O(p:Prof,s:Student,g:Grade): F Grading(p:Prof,as:Student,g:Grade)
Target Target
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment