![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| *.html | 23-Jan-2009 11:17 | 0 | |
| Int_DC.ML | 03-Nov-2009 00:48 | 19K | |
| Int_DC.thy | 30-Oct-2009 11:49 | 1.3K | |
| Intruder.ML | 02-Nov-2009 22:50 | 13K | |
| Intruder.pdf | 04-Nov-2009 17:29 | 73K | |
| Intruder.thy | 02-Nov-2009 16:34 | 1.6K | |
| README | 08-Oct-2008 12:05 | 936 | |
| ROOT.ML | 30-Oct-2009 11:29 | 1.1K | |
| Spi_Bitrace.ML | 29-Oct-2009 16:01 | 51K | |
| Spi_Bitrace.thy | 10-Oct-2009 00:46 | 4.7K | |
| Spi_Bt_Equiv.ML | 07-Jul-2009 11:31 | 14K | |
| Spi_Bt_Equiv.thy | 07-Jul-2009 11:31 | 53 | |
| Spi_DC_SI.ML | 08-Oct-2009 16:03 | 5.5K | |
| Spi_DC_SI.thy | 08-Oct-2009 15:47 | 57 | |
| Spi_DC_extra.ML | 23-Jul-2009 17:41 | 13K | |
| Spi_DC_extra.thy | 13-Jul-2009 15:52 | 8.9K | |
| Spi_DI_DC.ML | 30-Oct-2009 16:06 | 22K | |
| Spi_DI_DC.thy | 30-Oct-2009 11:36 | 3.8K | |
| Spi_Ded_Cons.ML | 30-Oct-2009 11:43 | 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-Oct-2009 16:16 | 5.8K | |
| Spi_Gen_DC.thy | 29-Oct-2009 16:50 | 660 | |
| Spi_General.ML | 02-Nov-2009 22:53 | 22K | |
| Spi_General.thy | 30-Oct-2009 15:44 | 4.5K | |
| Spi_Indist.ML | 02-Nov-2009 22:51 | 51K | |
| Spi_Indist.thy | 21-Oct-2009 17:42 | 12K | |
| Spi_LDI_DC.ML | 30-Oct-2009 11:37 | 47K | |
| Spi_LDI_DC.thy | 30-Oct-2009 11:37 | 1.5K | |
| Spi_Mgrs.ML | 07-Jul-2009 11:31 | 24K | |
| Spi_Mgrs.thy | 07-Jul-2009 13:01 | 4.4K | |
| Spi_NDI_DC.ML | 29-Oct-2009 18:12 | 14K | |
| Spi_NDI_DC.thy | 30-Oct-2009 10:00 | 761 | |
| Spi_NewDC_extra.ML | 08-Oct-2009 16:29 | 4.9K | |
| Spi_New_DC.ML | 30-Oct-2009 20:52 | 20K | |
| Spi_New_DC.thy | 29-Oct-2009 17:55 | 1.5K | |
| Spi_Redns.ML | 02-Nov-2009 22:52 | 50K | |
| Spi_Redns.thy | 14-Jul-2009 17:25 | 5.6K | |
| Spi_Reduce.ML | 28-Jul-2009 11:33 | 51K | |
| Spi_Reduce.thy | 07-Jul-2009 12:26 | 1.6K | |
| Spi_SI.ML | 10-Oct-2009 01:26 | 18K | |
| Spi_SI.thy | 10-Oct-2009 00:42 | 4.3K | |
| Spi_Subst.ML | 29-Oct-2009 16:53 | 58K | |
| Spi_Subst.thy | 07-Jul-2009 11:31 | 53 | |
| Spi_Subst_defs.ML | 30-Oct-2009 09:47 | 19K | |
| Spi_Subst_defs.thy | 29-Oct-2009 15:33 | 2.8K | |
| Spi_Subst_extra.ML | 07-Jul-2009 11:31 | 28K | |
| Spi_Subst_lems.ML | 30-Oct-2009 09:47 | 18K | |
| Spi_Subst_lems.thy | 29-Oct-2009 15:33 | 3.0K | |
| Spi_Theory.ML | 30-Oct-2009 09:42 | 29K | |
| Spi_Theory.thy | 09-Oct-2009 17:43 | 6.0K | |
| Spi_Thy_Cons.ML | 07-Jul-2009 11:31 | 20K | |
| Spi_Thy_Cons.thy | 07-Jul-2009 12:36 | 2.5K | |
| all.thy | 30-Oct-2009 20:02 | 82 | |
| dptfr | 13-Nov-2008 12:13 | 103 | |
| miculan/ | 15-Jan-2009 10:07 | - | |
| sedall | 05-Sep-2006 15:36 | 153 | |
| sedscript | 13-May-2009 10:17 | 26 | |