doc-src/Dirs
author huffman
Fri, 01 Jun 2012 11:53:58 +0200
changeset 48063 f02b4302d5dd
parent 47333 8204b1023537
child 48952 29562708e05c
permissions -rw-r--r--
remove duplicate lemma card_unit in favor of Finite_Set.card_UNIV_unit
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
47333
8204b1023537 removed obsolete isar-overview manual;
wenzelm
parents: 47320
diff changeset
     1
Intro Ref System Logics HOL ZF Inductive TutorialI IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Nitpick Main Sledgehammer ProgProve