Mercurial Mercurial > repos > isabelle / diff
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/IOA/NTP/Sender.ML
changeset 5068 fb28eaa07e01
parent 4423 a129b817b58a
child 12218 6597093b77e7 
--- a/src/HOLCF/IOA/NTP/Sender.ML	Mon Jun 22 17:12:27 1998 +0200
+++ b/src/HOLCF/IOA/NTP/Sender.ML	Mon Jun 22 17:13:09 1998 +0200
@@ -4,7 +4,7 @@
     Copyright   1994  TU Muenchen
 *)
 
-goal Sender.thy
+Goal
  "S_msg(m) : actions(sender_asig)       &   \
 \ R_msg(m) ~: actions(sender_asig)      &   \
 \ S_pkt(pkt) : actions(sender_asig)  &   \
isabelle