Mercurial Mercurial > repos > isabelle / comparison
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/WellForm.thy
changeset 12857 a4386cc9b1c3
parent 12854 00d4a435777f
child 12858 6214f03d6d27
equal deleted inserted replaced
12856:17ae8bbb46cb 12857:a4386cc9b1c3 
     1 (*  Title:      isabelle/Bali/WellForm.thy
 
     1 (*  Title:      HOL/Bali/WellForm.thy
 
     2     ID:         $Id$
 
     2     ID:         $Id$
 
     3     Author:     David von Oheimb
 
     3     Author:     David von Oheimb
 
     4     Copyright   1997 Technische Universitaet Muenchen
 
     4     Copyright   1997 Technische Universitaet Muenchen
 
     5 *)
 
     5 *)
 
     6 
     6
isabelle