Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IMP/document/root.tex
changeset 81570 af49ce611685
parent 73404 299f6a8faccc 
--- a/src/HOL/IMP/document/root.tex	Tue Dec 10 16:37:09 2024 +0100
+++ b/src/HOL/IMP/document/root.tex	Tue Dec 10 19:23:55 2024 +0100
@@ -1,5 +1,6 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage[T1]{fontenc}
+\usepackage{amssymb}
 \usepackage{isabelle,isabellesym}
 \usepackage{latexsym}
 % this should be the last package used
isabelle