Archive of Formal Proofs afp-devel

A collection of machine-checkend mathematical proofs

Brought to you by: eberl, lp15, lsf37, nipkow, rthiemann

Tree [5d0678] default Isabelle2017 / web /

History

Read Only access

File	Date	Author	Commit
entries	2017-09-19	Rene Thiemann	[5876ee] merged from afp-2016-1
images	2006-05-26	lsf37	[d7295a] auto sync with Isabelle2005
Chart.js	2016-07-19	Max "Ammerbauer" Haslbeck	[db9f4f] Add statistics page
LICENSE	2004-07-23	lsf37	[376577] auto sync with Isabelle2004
LICENSE.LGPL	2010-12-01	gerwin.klein@nicta.com.au	[2963e5] Sitegen udpate by Lars Hupel: added support for...
about.html	2017-07-17	Max "Ammerbauer" Haslbeck	[1f6c06] Move .shtml to .html
citing.html	2017-07-17	Max "Ammerbauer" Haslbeck	[1f6c06] Move .shtml to .html
download.html	2017-07-17	Max "Ammerbauer" Haslbeck	[1f6c06] Move .shtml to .html
front.css	2017-03-16	Max "Ammerbauer" Haslbeck	[a8a010] Cosmetic changes to abstract of some entries
index.html	2017-09-19	Rene Thiemann	[5876ee] merged from afp-2016-1
jquery.min.js	2013-08-02	kleing	[42c1eb] Show BibTeX only after click if JS available. C...
rss.xml	2017-09-19	Rene Thiemann	[5876ee] merged from afp-2016-1
script.js	2013-08-16	kleing	[2a9671] tweak bibtex link further
search.html	2017-07-17	Max "Ammerbauer" Haslbeck	[1f6c06] Move .shtml to .html
statistics.html	2017-09-19	Rene Thiemann	[5876ee] merged from afp-2016-1
submitting.html	2017-07-17	Max "Ammerbauer" Haslbeck	[1f6c06] Move .shtml to .html
topics.html	2017-09-19	Rene Thiemann	[5876ee] merged from afp-2016-1
updating.html	2017-07-17	Max "Ammerbauer" Haslbeck	[1f6c06] Move .shtml to .html
using.html	2017-07-17	Max "Ammerbauer" Haslbeck	[1f6c06] Move .shtml to .html