Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
progtutorial.pdf | 05-Aug-2009 09:39 | 665K | ||
primcorec.pdf | 09-Aug-2016 11:11 | 184K | ||
paper.pdf | 09-Aug-2016 11:10 | 513K | ||
mkm2006.pdf | 07-Feb-2008 16:42 | 167K | ||
makarius-thesis.pdf | 24-Feb-2015 16:57 | 1.8M | ||
locales-jar2013.pdf | 17-Jul-2014 10:17 | 284K | ||
isar-tool-framework.pdf | 12-Feb-2008 09:40 | 235K | ||
isar-reasoning.pdf | 29-May-2009 09:43 | 207K | ||
isar-overview.pdf | 30-Jun-2009 10:09 | 191K | ||
ind-defs.pdf | 16-Aug-2016 12:36 | 258K | ||
eisbach.pdf | 02-Dec-2014 09:31 | 221K | ||
datatypes.pdf | 09-Aug-2016 11:09 | 534K | ||
context-methods.pdf | 12-Feb-2008 09:43 | 171K | ||
constructive_type_classes_haftmann_wenzel.pdf | 07-Feb-2008 12:03 | 177K | ||
concrete-semantics.pdf | 12-Mar-2015 09:37 | 1.5M | ||
codata_wit.pdf | 16-Aug-2016 13:19 | 263K | ||
codata_impl.pdf | 16-Aug-2016 13:21 | 237K | ||
co_data_invited.pdf | 03-Aug-2017 11:52 | 188K | ||
amico_abs.pdf | 09-Aug-2016 11:11 | 100K | ||
ProofGeneral.pdf | 15-Feb-2008 13:51 | 451K | ||
Isar-SML.pdf | 12-Feb-2008 09:42 | 224K | ||
Calculations-Isar.pdf | 13-Feb-2008 10:41 | 252K | ||