Isabelle/HOL sessions

    Classical Higher-order Logic.
  

    Author: Clemens Ballarin, started 24 September 1999

    The Isabelle Algebraic Library.
  

    Ordinals and Cardinals, Full Theories.
  

    Classical Higher-order Logic -- batteries included.
  

    Fundamental Theorem of Arithmetic, Chinese Remainder Theorem, Fermat/Euler
    Theorem, Wilson's Theorem, some lemmas for Quadratic Reciprocity.
  

    Fundamental Theorem of Arithmetic, Chinese Remainder Theorem, Fermat/Euler
    Theorem, Wilson's Theorem, Quadratic Reciprocity.
  

    Author:     Franz Regensburger
    Author:     Brian Huffman

    HOLCF -- a semantic extension of HOL by the LCF logic.