1![Draft version October 9, 2018 Preprint typeset using LATEX style emulateapj vCAN MOONS HAVE MOONS? Juna A. Kollmeier1 & Sean N. Raymond2 Draft version October 9, 2018 Preprint typeset using LATEX style emulateapj vCAN MOONS HAVE MOONS? Juna A. Kollmeier1 & Sean N. Raymond2](https://www.pdfsearch.io/img/edac28df4587052ca166ea481340fbb8.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-10-08 20:33:21
|
---|
2![LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based](https://www.pdfsearch.io/img/2a24bf34c46affa99d7f789c102237da.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:25
|
---|
3![LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based](https://www.pdfsearch.io/img/c6bcf5d26ede902473aceca6d8a73030.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:25
|
---|
4![LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based](https://www.pdfsearch.io/img/aaa4cc30b21059d8da1b7a8d1eb1c198.jpg) | Add to Reading ListSource URL: mirror.clarkson.eduLanguage: English - Date: 2018-08-15 07:19:25
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: www.latex-project.org- Date: 2016-08-08 13:00:04
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: www.latex-project.org- Date: 2016-08-08 13:00:04
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: www.latex-project.org- Date: 2016-08-08 13:00:04
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: www.latex-project.org- Date: 2016-08-08 13:00:04
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: www.latex-project.org- Date: 2016-08-08 13:00:04
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.latex-project.org- Date: 2016-11-21 06:00:06
|
---|