src/ZF/Induct/document/root.tex
changeset 62059 2da6f4945295
parent 40945 b8703f63bfb2
child 73404 299f6a8faccc
equal deleted inserted replaced
62058:1cfd5d604937 62059:2da6f4945295
     1 \documentclass[11pt,a4paper]{article}
     1 \documentclass[11pt,a4paper]{article}
     2 \usepackage{isabelle,isabellesym}
     2 \usepackage{isabelle,isabellesym}
       
     3 \usepackage{amssymb}
     3 \usepackage[utf8]{inputenc}
     4 \usepackage[utf8]{inputenc}
     4 \usepackage{pdfsetup}
     5 \usepackage{pdfsetup}
     5 
     6 
     6 \urlstyle{rm}
     7 \urlstyle{rm}
     7 \isabellestyle{it}
     8 \isabellestyle{it}