drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
Ex
|
files
|
drwxr-xr-x |
|
|
Manual
|
files
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
5697 |
Atoms.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
2045 |
Eqvt.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
72 |
FROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
18239 |
GPerm.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
25895 |
Nominal2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
46051 |
Nominal2_Abs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
100527 |
Nominal2_Base.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
98797 |
Nominal2_Base_Exec.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
18615 |
Nominal2_FCB.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
604 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
3172 |
nominal_atoms.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
4795 |
nominal_basics.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
30270 |
nominal_dt_alpha.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
4577 |
nominal_dt_data.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
24854 |
nominal_dt_quot.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
17574 |
nominal_dt_rawfuns.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
4198 |
nominal_eqvt.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
10269 |
nominal_function.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
5092 |
nominal_function_common.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
37908 |
nominal_function_core.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
6635 |
nominal_induct.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
15134 |
nominal_inductive.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
16005 |
nominal_library.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
13368 |
nominal_mutual.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
7433 |
nominal_permeq.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
4348 |
nominal_termination.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2012-05-22 14:00 +0200 |
8023 |
nominal_thmdecls.ML
|
file |
revisions |
annotate
|