drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
document
|
files
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
705 |
IsaMakefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
12429 |
List_Prefix.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
65597 |
Paper.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
1350 |
README
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
142 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
71 |
ROOT1.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
72 |
ROOT2.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
399 |
ROOT3.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
117820 |
all_sobj_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
12033 |
del_vs_del_s.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
1472 |
deleted_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
1771 |
final_theorems.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
10825 |
finite_static.thy
|
file |
revisions |
annotate
|
-rwxr-xr-x |
2013-06-13 22:53 +0800 |
17033 |
my_list_prefix.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
30232 |
obj2sobj_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
15161 |
os_rc.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
202344 |
paper.pdf
|
file |
revisions |
annotate
|
-rwxr-xr-x |
2013-06-13 22:53 +0800 |
53879 |
rc_theory.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
9846 |
sound_defs_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
2851 |
source_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
1481 |
tainted.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 22:53 +0800 |
73168 |
tainted_vs_tainted_s.thy
|
file |
revisions |
annotate
|