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