drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
document
|
files
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
705 |
IsaMakefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
12429 |
List_Prefix.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
65530 |
Paper.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
1350 |
README
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
142 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
71 |
ROOT1.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
72 |
ROOT2.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
399 |
ROOT3.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
117675 |
all_sobj_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
12052 |
del_vs_del_s.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
1472 |
deleted_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
1771 |
final_theorems.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
10825 |
finite_static.thy
|
file |
revisions |
annotate
|
-rwxr-xr-x |
2013-06-13 07:01 -0400 |
17033 |
my_list_prefix.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
30273 |
obj2sobj_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
15158 |
os_rc.thy
|
file |
revisions |
annotate
|
-rwxr-xr-x |
2013-06-13 07:01 -0400 |
53842 |
rc_theory.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
9664 |
sound_defs_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
2870 |
source_prop.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
1481 |
tainted.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2013-06-13 07:01 -0400 |
73131 |
tainted_vs_tainted_s.thy
|
file |
revisions |
annotate
|