| author | haftmann |
| Sat, 24 Dec 2011 15:53:09 +0100 | |
| changeset 45965 | 2af982715e5c |
| parent 41413 | 64cd30d6b0b8 |
| permissions | -rw-r--r-- |
|
41413
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
1 |
no_document use_thys [ |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
2 |
"~~/src/HOL/Library/Infinite_Set", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
3 |
"~~/src/HOL/Library/Permutation" |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
4 |
]; |
|
9508
4d01dbf6ded7
Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen
paulson
parents:
diff
changeset
|
5 |
|
|
41413
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
6 |
use_thys [ |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
7 |
"Fib", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
8 |
"Factorization", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
9 |
"Chinese", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
10 |
"WilsonRuss", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
11 |
"WilsonBij", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
12 |
"Quadratic_Reciprocity", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
13 |
"Primes", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
14 |
"Pocklington" |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32479
diff
changeset
|
15 |
]; |