drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
Ex
|
files
|
drwxr-xr-x |
|
|
Manual
|
files
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
5697 |
Atoms.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
2045 |
Eqvt.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
25333 |
Nominal2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
45447 |
Nominal2_Abs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
96121 |
Nominal2_Base.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
16883 |
Nominal2_FCB.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
604 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
3195 |
nominal_atoms.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
4788 |
nominal_basics.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
30205 |
nominal_dt_alpha.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
4958 |
nominal_dt_data.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
23957 |
nominal_dt_quot.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
17587 |
nominal_dt_rawfuns.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
4427 |
nominal_eqvt.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
10228 |
nominal_function.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
5058 |
nominal_function_common.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
37863 |
nominal_function_core.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
6623 |
nominal_induct.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
15159 |
nominal_inductive.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
16046 |
nominal_library.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
13363 |
nominal_mutual.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
7433 |
nominal_permeq.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
4106 |
nominal_termination.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-08-19 10:56 +0900 |
8020 |
nominal_thmdecls.ML
|
file |
revisions |
annotate
|