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.
COPYRIGHT
changeset 41442 4cfb51a5a444
parent 37159 07f3f5a03e98
child 47462 8f85051693d1
equal deleted inserted replaced
41441:a7a03f856354 41442:4cfb51a5a444 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     2 
     2 
     3 Copyright (c) 2010,
 
     3 Copyright (c) 2011,
 
     4   University of Cambridge and
 
     4   University of Cambridge,
 
     5   Technische Universitaet Muenchen.
 
     5   Technische Universitaet Muenchen,
 
       
     6   and contributors.
 
     6 
     7 
     7   All rights reserved.
 
     8   All rights reserved.
 
     8 
     9 
     9 Redistribution and use in source and binary forms, with or without 
    10 Redistribution and use in source and binary forms, with or without 
    10 modification, are permitted provided that the following conditions are 
    11 modification, are permitted provided that the following conditions are
isabelle