Skip to content

Files

Latest commit

 

History

History
This branch is 14 commits ahead of, 130 commits behind jrh13/hol-light:master.

miz3

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
(* ========================================================================= *)
(*       miz3: Mizar-style declarative proofs for HOL Light.                 *)
(*                                                                           *)
(*                (c) Freek Wiedijk 2009-2012                                *)
(*                                                                           *)
(*      Distributed under the same license terms as HOL Light.               *)
(*                                                                           *)
(*     See http://arxiv.org/abs/1201.3601 for more information.              *)
(* ========================================================================= *)