Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
CI_Syn.thy | 11-Apr-2011 21:25 | 53 | ||
IgenSub.ML | 17-Dec-2011 13:29 | 3.5K | ||
IgenSub.thy | 17-Dec-2011 13:30 | 1.1K | ||
Igen.thy | 17-Dec-2011 13:42 | 23 | ||
IrepI.thy | 29-Dec-2011 11:08 | 352 | ||
Del_init.thy | 01-Feb-2012 10:36 | 19 | ||
Uc.thy | 01-Feb-2012 10:40 | 16 | ||
Ctr.thy | 01-Feb-2012 10:50 | 17 | ||
Del.thy | 01-Feb-2012 10:52 | 32 | ||
Wk.thy | 01-Feb-2012 10:57 | 12 | ||
Rep_wk.thy | 01-Feb-2012 11:18 | 22 | ||
Rep_wk.ML | 01-Feb-2012 12:24 | 898 | ||
Ldi_add.thy | 02-Feb-2012 10:48 | 671 | ||
exptrees.sty | 06-Feb-2012 10:27 | 78K | ||
interp.pdf | 06-Feb-2012 10:28 | 127K | ||
interp.dvi | 07-Feb-2012 10:20 | 56K | ||
interp.log | 07-Feb-2012 10:20 | 12K | ||
interp.ps | 07-Feb-2012 10:20 | 258K | ||
interp.tex | 07-Feb-2012 13:13 | 43K | ||
IrepI.ML | 27-Feb-2012 15:11 | 33K | ||
Igenm.thy | 12-Mar-2012 15:25 | 16 | ||
TODO | 14-Mar-2012 23:11 | 105 | ||
GRepm.ML | 27-Mar-2012 11:48 | 24K | ||
Ldi_add.ML | 27-Mar-2012 16:25 | 6.7K | ||
Del_init.ML | 27-Mar-2012 18:45 | 4.0K | ||
Uc.ML | 29-Mar-2012 13:35 | 5.8K | ||
Del.ML | 03-Apr-2012 17:56 | 4.1K | ||
DT1.ML | 10-Apr-2012 17:15 | 2.7K | ||
DT_Sub.ML | 10-Apr-2012 17:15 | 4.1K | ||
GRep.ML | 10-Apr-2012 17:16 | 13K | ||
meta_proofs.ML | 10-Apr-2012 17:21 | 1.9K | ||
meta_proofs.thy | 10-Apr-2012 17:21 | 34 | ||
unify.ML | 10-Apr-2012 17:22 | 13K | ||
derivs.ML | 10-Apr-2012 17:22 | 7.4K | ||
ind_rls.ML | 10-Apr-2012 17:22 | 2.2K | ||
ROOT.ML | 10-Apr-2012 23:44 | 351 | ||
Igen.ML | 11-Apr-2012 10:35 | 17K | ||
Igenm.ML | 11-Apr-2012 12:09 | 18K | ||
Ctr.ML | 11-Apr-2012 12:10 | 6.9K | ||
Wk.ML | 11-Apr-2012 12:25 | 10K | ||
Ldi_rules.ML | 11-Apr-2012 12:55 | 5.7K | ||
GDC.ML | 23-Apr-2012 11:11 | 3.5K | ||
GDC.thy | 23-Apr-2012 11:13 | 8.2K | ||
GSub1.ML | 23-Apr-2012 11:28 | 4.7K | ||
GSub2.thy | 23-Apr-2012 11:28 | 91 | ||
GSub1.thy | 23-Apr-2012 11:30 | 2.6K | ||
GSub.thy | 23-Apr-2012 11:36 | 6.5K | ||
GRep.thy | 23-Apr-2012 11:54 | 4.2K | ||
GDT.thy | 23-Apr-2012 11:59 | 747 | ||
Idefs.thy | 23-Apr-2012 12:30 | 3.7K | ||
Idefs.ML | 23-Apr-2012 12:41 | 31K | ||
GRepm.thy | 23-Apr-2012 12:43 | 4.5K | ||
Modal.thy | 23-Apr-2012 12:44 | 562 | ||
Modal.ML | 23-Apr-2012 13:06 | 22K | ||
Ldi_rules.thy | 23-Apr-2012 13:11 | 842 | ||
GSub2.ML | 15-May-2012 11:31 | 2.7K | ||
GDT.ML | 15-May-2012 11:35 | 5.6K | ||
GRep1.ML | 15-May-2012 11:37 | 8.9K | ||
GSub.ML | 20-Jun-2012 16:42 | 13K | ||
README | 05-Nov-2012 16:41 | 317 | ||
CI_Rls.thy | 08-Nov-2012 13:42 | 6.8K | ||
CI_Rls.ML | 12-Nov-2012 15:36 | 29K | ||
aidps/ | 14-Feb-2013 11:59 | - | ||
bdaidps/ | 14-Feb-2013 11:59 | - | ||