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/HOL/Bali/AxExample.thy
changeset 12925 99131847fb93
parent 12859 f63315dfffd4
child 13688 a0b16d42d489 
--- a/src/HOL/Bali/AxExample.thy	Thu Feb 21 20:11:32 2002 +0100
+++ b/src/HOL/Bali/AxExample.thy	Fri Feb 22 11:26:44 2002 +0100
@@ -3,6 +3,7 @@
     Author:     David von Oheimb
     License:    GPL (GNU GENERAL PUBLIC LICENSE)
 *)
+
 header {* Example of a proof based on the Bali axiomatic semantics *}
 
 theory AxExample = AxSem + Example:
isabelle