Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
AC_DI_DC.ML | 09-Mar-2010 16:01 | 40K | ||
AC_DI_DC.thy | 02-Mar-2010 16:04 | 5.8K | ||
AC_Gen_DC.ML | 09-Mar-2010 16:01 | 5.3K | ||
AC_Gen_DC.thy | 23-Feb-2010 17:01 | 663 | ||
AC_General.ML | 02-Mar-2010 12:47 | 8.4K | ||
AC_General.thy | 02-Mar-2010 12:56 | 3.6K | ||
AC_Subst_defs.ML | 04-Mar-2010 17:11 | 18K | ||
AC_Subst_defs.thy | 23-Feb-2010 11:23 | 2.6K | ||
Int_AC.ML | 03-Mar-2010 12:57 | 23K | ||
Int_AC.thy | 05-Mar-2010 14:12 | 5.3K | ||
Int_DC.ML | 06-Nov-2009 19:34 | 20K | ||
Int_DC.thy | 04-May-2011 14:56 | 1.5K | ||
Intruder.ML | 16-Dec-2009 10:08 | 16K | ||
Intruder.pdf | 25-Mar-2010 11:52 | 118K | ||
Intruder.ps | 19-Jan-2010 17:20 | 258K | ||
Intruder.thy | 19-Jan-2010 17:28 | 2.1K | ||
Pi_Gen.ML | 08-Nov-2010 13:33 | 15K | ||
Pi_Gen.thy | 19-Apr-2010 12:48 | 672 | ||
README | 08-Oct-2008 12:05 | 936 | ||
ROOT.ML | 04-May-2011 15:08 | 1.8K | ||
Spi_Bitrace.ML | 03-Aug-2010 09:16 | 23K | ||
Spi_Bitrace.thy | 11-May-2010 12:15 | 1.1K | ||
Spi_Bitrace_defs.ML | 03-Aug-2010 11:22 | 62K | ||
Spi_Bitrace_defs.thy | 06-May-2010 16:30 | 4.2K | ||
Spi_Bt_Equiv.ML | 07-Jul-2009 11:31 | 14K | ||
Spi_Bt_Equiv.thy | 07-Jul-2009 11:31 | 53 | ||
Spi_CC.ML | 03-Aug-2010 11:22 | 52K | ||
Spi_CC.thy | 16-Jul-2010 12:27 | 4.4K | ||
Spi_DC_BT.ML | 03-Aug-2010 09:15 | 1.6K | ||
Spi_DC_BT.thy | 05-May-2010 11:30 | 134 | ||
Spi_DC_SI.ML | 01-Sep-2010 17:18 | 5.1K | ||
Spi_DC_SI.thy | 08-Oct-2009 15:47 | 57 | ||
Spi_DC_extra.ML | 31-Aug-2010 16:37 | 11K | ||
Spi_DC_extra.thy | 13-Jul-2009 15:52 | 8.9K | ||
Spi_DI_DC.ML | 29-Jul-2010 14:59 | 33K | ||
Spi_DI_DC.thy | 16-Apr-2010 16:25 | 4.1K | ||
Spi_Ded_Cons.ML | 10-Nov-2009 10:48 | 12K | ||
Spi_Ded_Cons.thy | 29-Oct-2009 18:28 | 177 | ||
Spi_Ded_Cons_extra.thy | 30-Oct-2009 22:27 | 9 | ||
Spi_Gen_DC.ML | 30-Jul-2010 11:40 | 8.8K | ||
Spi_Gen_DC.thy | 10-Nov-2009 10:37 | 660 | ||
Spi_General.ML | 24-Aug-2010 17:26 | 16K | ||
Spi_General.thy | 24-Aug-2010 17:26 | 5.1K | ||
Spi_Indist.ML | 31-Aug-2010 17:42 | 48K | ||
Spi_Indist.thy | 31-Aug-2010 17:42 | 9.2K | ||
Spi_LDI_DC.ML | 30-Oct-2009 11:37 | 47K | ||
Spi_LDI_DC.thy | 11-Mar-2010 16:57 | 1.7K | ||
Spi_Mgrs.ML | 05-Feb-2010 16:10 | 25K | ||
Spi_Mgrs.thy | 11-Feb-2010 15:46 | 5.2K | ||
Spi_NDI_DC.ML | 26-Jun-2010 22:55 | 18K | ||
Spi_NDI_DC.thy | 12-Jul-2010 15:44 | 699 | ||
Spi_NewDC_extra.ML | 08-Oct-2009 16:29 | 4.9K | ||
Spi_New_DC.ML | 29-Jul-2010 16:37 | 27K | ||
Spi_New_DC.thy | 28-Apr-2010 13:00 | 934 | ||
Spi_Redns.ML | 13-Apr-2011 17:29 | 41K | ||
Spi_Redns.thy | 13-Apr-2011 22:50 | 4.4K | ||
Spi_Reduce.ML | 24-Apr-2011 18:56 | 48K | ||
Spi_Reduce.thy | 02-Feb-2010 11:46 | 1.1K | ||
Spi_SI.ML | 03-Sep-2010 12:30 | 30K | ||
Spi_SI.thy | 01-Sep-2010 17:23 | 4.1K | ||
Spi_Subst.ML | 24-Apr-2011 14:45 | 35K | ||
Spi_Subst.thy | 07-Jul-2009 11:31 | 53 | ||
Spi_Subst_defs.ML | 26-Jun-2010 23:11 | 23K | ||
Spi_Subst_defs.thy | 12-Jul-2010 12:29 | 2.9K | ||
Spi_Subst_extra.ML | 18-Nov-2010 17:51 | 26K | ||
Spi_Subst_extra_entvs | 13-Apr-2011 22:52 | 22K | ||
Spi_Subst_extra_rc | 17-Apr-2011 00:09 | 6.3K | ||
Spi_Subst_lems.ML | 13-Apr-2011 17:18 | 18K | ||
Spi_Subst_lems.thy | 13-Apr-2011 22:52 | 1.9K | ||
Spi_Theory.ML | 24-Apr-2011 14:26 | 29K | ||
Spi_Theory.thy | 24-Apr-2011 14:27 | 4.4K | ||
Spi_Theory_extra | 26-Aug-2010 16:59 | 4.7K | ||
Spi_Thy_Cons.ML | 21-Jun-2010 17:38 | 23K | ||
Spi_Thy_Cons.thy | 07-Jul-2009 12:36 | 2.5K | ||
ac_all.thy | 23-Feb-2010 16:41 | 45 | ||
all.thy | 04-May-2010 18:25 | 90 | ||
dptfr | 13-Nov-2008 12:13 | 103 | ||
implementation/ | 05-May-2011 13:36 | - | ||
nf.ML | 02-Feb-2010 13:08 | 4.0K | ||
nf.thy | 02-Feb-2010 11:51 | 499 | ||
sedall | 05-Sep-2006 15:36 | 153 | ||
sedscript | 13-May-2009 10:17 | 26 | ||