src/HOL/ROOT
changeset 65535 1bf7b5dc34c8
parent 65530 09c00a304c00
child 65538 a39ef48fbee0
equal deleted inserted replaced
65534:b6250ee6ce79 65535:1bf7b5dc34c8
   447     The paper "More Church-Rosser Proofs (in Isabelle/HOL)" describes the whole
   447     The paper "More Church-Rosser Proofs (in Isabelle/HOL)" describes the whole
   448     theory (see http://www.in.tum.de/~nipkow/pubs/jar2001.html).
   448     theory (see http://www.in.tum.de/~nipkow/pubs/jar2001.html).
   449   *}
   449   *}
   450   options [print_mode = "no_brackets",
   450   options [print_mode = "no_brackets",
   451     parallel_proofs = 0, quick_and_dirty = false]
   451     parallel_proofs = 0, quick_and_dirty = false]
   452   theories [document = false]
   452   sessions "HOL-Library"
   453     "~~/src/HOL/Library/Code_Target_Int"
       
   454   theories
   453   theories
   455     Eta
   454     Eta
   456     StrongNorm
   455     StrongNorm
   457     Standardization
   456     Standardization
   458     WeakNorm
   457     WeakNorm