Web Server Statistics for the Computer Laboratory (Larry Paulson's pages only)

Program started at Mon-21-Apr-2014 10:01.
Analysed requests from Thu-20-Mar-2014 04:08 to Mon-21-Apr-2014 09:49 (32.24 days).

General Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report contains overall statistics.

Figures in parentheses refer to the 7-day period ending 21-Apr-2014 10:01.

Successful requests: 19,089 (3,754)
Average successful requests per day: 592 (536)
Successful requests for pages: 4,212 (827)
Average successful requests for pages per day: 130 (118)
Failed requests: 508 (115)
Redirected requests: 127 (17)
Distinct files requested: 519 (349)
Distinct hosts served: 3,994 (948)
Unwanted logfile entries: 10,585
Data transferred: 5.73 gigabytes (957.27 megabytes)
Average data transferred per day: 181.94 megabytes (136.75 megabytes)

Daily Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the total activity for each day of the week, summed over all the weeks in the report.

Each unit (+) represents 20 requests for pages or part thereof.

dayreqspages 
Sun2675599++++++++++++++++++++++++++++++
Mon2165472++++++++++++++++++++++++
Tue2856632++++++++++++++++++++++++++++++++
Wed2884644+++++++++++++++++++++++++++++++++
Thu3283745++++++++++++++++++++++++++++++++++++++
Fri2893597++++++++++++++++++++++++++++++
Sat2333523+++++++++++++++++++++++++++

Domain Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the countries of the computers which requested files.

Listing domains, sorted by the amount of traffic.

reqs%bytesdomain
791241.71%[unresolved numerical addresses]
378323.37%.com (Commercial)
855 8.98%.edu (USA Higher Education)
1611 7.01%.net (Networks)
683 4.11%.in (India)
657 4.07%.de (Germany)
548 2.14%[domain not given]
314 0.79%.ro (Romania)
291 0.62%.uk (United Kingdom)
10 0.45%.nz (New Zealand)
181 0.43%.au (Australia)
32 0.38%.ua (Ukraine)
129 0.37%.np (Nepal)
97 0.35%.gr (Greece)
195 0.34%.ca (Canada)
69 0.32%.pk (Pakistan)
76 0.23%.cn (China)
27 0.19%.id (Indonesia)
40 0.19%.br (Brazil)
57 0.18%.org (Non Profit Making Organisations)
57 0.17%.mx (Mexico)
29 0.16%.ke (Kenya)
59 0.16%.nl (Netherlands)
39 0.16%.us (United States)
106 0.15%.fr (France)
8 0.15%.lk (Sri Lanka)
37 0.14%.tr (Turkey)
56 0.13%[unknown domain]
49 0.12%.zw (Zimbabwe)
28 0.12%.at (Austria)
58 0.11%.ru (Russia)
12 0.10%.th (Thailand)
13 0.10%.jo (Jordan)
52 0.09%.it (Italy)
8 0.09%.bn (Brunei Darussalam)
36 0.09%.ar (Argentina)
31 0.09%.sg (Singapore)
7 0.08%.za (South Africa)
39 0.08%.dk (Denmark)
3 0.07%.lb (Lebanon)
10 0.07%.es (Spain)
36 0.07%.pl (Poland)
83 0.06%.jp (Japan)
69 0.06%.fi (Finland)
32 0.06%.ug (Uganda)
26 0.06%.uy (Uruguay)
21 0.06%.bd (Bangladesh)
15 0.05%.eg (Egypt)
28 0.05%.gov (USA Government)
19 0.05%.sb (Solomon Islands)
4 0.05%.rw (Rwanda)
34 0.05%.md (Moldova)
8 0.04%.arpa (Arpanet)
8 0.04%.tz (Tanzania)
16 0.04%.gh (Ghana)
17 0.04%.co (Colombia)
10 0.04%.vn (Vietnam)
2 0.04%.ie (Ireland)
21 0.04%.ch (Switzerland)
6 0.03%.my (Malaysia)
35 0.03%.se (Sweden)
4 0.03%.cl (Chile)
4 0.03%.tt (Trinidad and Tobago)
16 0.03%.mu (Mauritius)
3 0.03%.sa (Saudi Arabia)
73 0.02%.cz (Czech Republic)
20 0.02%.be (Belgium)
20 0.02%.io (British Indian Ocean Territory)
6 0.02%.tw (Taiwan)
2 0.02%.mk (Macedonia (Former Yugoslav Republic))
4 0.02%.by (Belarus)
1 0.02%.om (Oman)
8 0.01%.biz (Businesses)
7 0.01%.pt (Portugal)
4 0.01%.kr (South Korea)
32 0.01%.il (Israel)
8 0.01%.hk (Hong Kong)
9 0.01%.tj (Tajikistan)
3 0.01%.lt (Lithuania)
7 0.01%.hu (Hungary)
1 0.01%.info (Informational)
4 0.01%.ge (Georgia)
2 .ir (Iran)
1 .al (Albania)
3 .sk (Slovakia)
15 .lv (Latvia)
2 .kz (Kazakhstan)
11 .cy (Cyprus)
6 .am (Armenia)
6 .is (Iceland)
4 .ee (Estonia)
4 .si (Slovenia)
1 .mil (USA Military)
1 .ph (Philippines)
1 .ec (Ecuador)
1 .na (Namibia)
1 .kw (Kuwait)

Organisation Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the organisations of the computers which requested files.

Listing the top 20 organisations by the number of requests, sorted by the number of requests.

reqs%bytesorganisation
999 4.51%117
832 3.18%msn.com
548 2.14%[domain not given]
430 1.42%41
374 2.51%amazonaws.com
326 8.25%google.com
322 5.60%212.74
320 0.72%rr.com
312 8.02%psu.edu
294 1.62%115
289 1.35%yandex.com
266 1.03%106
229 0.29%your-server.de
186 page2rss.com
185 0.99%208.115
185 0.49%85
179 1.09%14
168 0.48%fastwebserver.de
164 0.48%baidu.com
161 0.39%wowrack.com
1232055.45%[not listed: 1,169 organisations]

Search Word Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists which words people used in search engines to find the site.

Listing the top 30 query words by the number of requests, sorted by the number of requests.

reqssearch term
432software
331pdf
293engineering
192notes
119of
105in
90i.pdf
89http://www.cl.cam.ac.uk/~lp15/papers/notes/se
68for
65the
56computer
53study
53material
42engineer
42and
41cultures
40dances
37various
35x
35download
34u
32protocol
31proof
28design
26formal
25security
22hindi
21free
20it
20reservation
1283[not listed: 403 search terms]

Operating System Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the operating systems used by visitors.

Listing operating systems, sorted by the number of requests for pages.

no.reqspagesOS
135231855OS unknown
2114271195Windows
 9234814  Unknown Windows
 2063316  Windows XP
 4646  Windows 98
 169  Windows 2000
 379  Windows Server 2003
 311  Windows NT
32058493Unix
 2024488  Linux
 75  BSD
 270  Other Unix
41404338Macintosh
5567299Known robots
670Symbian OS

Status Code Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the HTTP status codes of all requests.

Listing status codes, sorted numerically.

reqsstatus code
9505200 OK
8931206 Partial content
127301 Document moved permanently
653304 Not modified since last retrieval
70403 Access forbidden
436404 Document not found
2416 Requested range not valid

File Size Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the sizes of files.

sizereqs%bytes
0912 
1B- 10B10 
11B- 100B10 
101B- 1kB169 
1kB- 10kB2632 0.18%
10kB-100kB9485 6.76%
100kB- 1MB514841.78%
1MB- 10MB68330.47%
10MB-100MB4020.81%

File Type Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the extensions of files.

Listing extensions with at least 0.1% of the traffic, sorted by the amount of traffic.

reqs%bytesextension
1343972.03%.pdf [Adobe Portable Document Format]
19120.65%.gz [Gzip compressed files]
11520.51%  .tar.gz [Compressed archives]
33 4.69%.tbz
51 1.46%.zip [Zip archives]
2695 0.36%[directories]
4 0.27%.tgz
1517 0.24%.html [Hypertext Markup Language]
483 0.15%.jpg [JPEG graphics]
676 0.16%[not listed: 9 extensions]

Request Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the files on the site.

Listing files with at least 0.03% of the requests, sorted by the number of requests.

reqs%byteslast timefile
511429.76%21/Apr/14 09:20/~lp15/papers/Notes/SE-I.pdf
1889 3.95%21/Apr/14 05:46/~lp15/papers/Reports/equivclasses-slides.pdf
114716.37%20/Apr/14 17:50/~lp15/papers/Reports/thesis.pdf
737 0.14%21/Apr/14 07:20/~lp15/
407 4.75%21/Apr/14 04:14/~lp15/Sue/Thesis.pdf
384 0.01%21/Apr/14 02:27/~lp15/MLbook/
377 0.10%21/Apr/14 07:20/~lp15/images/larry-paulson.jpg
345 0.10%21/Apr/14 09:49/~lp15/papers/refereed.html
312 0.55%21/Apr/14 06:17/~lp15/papers/Reports/fleuriot-kepler.pdf
245 0.73%20/Apr/14 02:40/~lp15/papers/Auth/jcs.pdf
216 0.57%21/Apr/14 05:01/~lp15/Pages/G%C3%B6del-ar.pdf
209 0.43%20/Apr/14 17:52/~lp15/papers/Notes/Founds-FP.pdf
168 0.03%20/Apr/14 20:19/~lp15/papers/Arith/
163 0.38%21/Apr/14 07:45/~lp15/papers/Isabelle/sylow.pdf
139 0.03%21/Apr/14 07:42/~lp15/papers/Auth/
120 0.23%21/Apr/14 08:20/~lp15/papers/Auth/tls.pdf
119 0.43% 6/Apr/14 22:13/~lp15/Pages/G%C3%B6del-slides.pdf
115 0.22%21/Apr/14 07:57/~lp15/papers/Isabelle/aisc98.pdf
111 21/Apr/14 09:48/~lp15/MLbook/programs/
98 0.15%20/Apr/14 09:20/~lp15/papers/Sets/constructible-abstract.pdf
89 0.79%17/Apr/14 09:42/~lp15/papers/Arith/FroCos-presentation.pdf
89 0.29%21/Apr/14 04:37/~lp15/papers/Bella/smartcards-jcs.pdf
88 0.15%21/Apr/14 06:04/~lp15/papers/Bella/esorics98.pdf
88 0.50%21/Apr/14 01:10/~lp15/papers/Arith/MetiTarski-jar.pdf
86 20/Apr/14 22:09/~lp15/MLbook/exercises/
85 0.94%18/Apr/14 20:23/~lp15/papers/Auth/lics-slides.pdf
79 0.23%15/Apr/14 02:36/~lp15/Pages/Munich-slides.pdf
78 0.08%21/Apr/14 00:24/~lp15/papers/Reports/mutil.pdf
76 0.01%21/Apr/14 06:05/~lp15/Sue/
70 0.10%20/Apr/14 23:16/~lp15/Pages/vita.pdf
70 0.01%20/Apr/14 08:19/~lp15/MLbook/ERRATA.html
68 0.03%21/Apr/14 04:48/~lp15/Sue/Sue Paulson.jpg
67 0.01%20/Apr/14 20:03/~lp15/papers/Sets/
65 0.01%21/Apr/14 02:12/~lp15/MLbook/programs/sample3.sml
65 0.48%19/Apr/14 05:07/~lp15/papers/Notes/LCF+.pdf
63 0.10%20/Apr/14 07:22/~lp15/papers/Isabelle/coding.pdf
62 20/Apr/14 19:50/~lp15/papers/lecture-courses.html
61 0.20%21/Apr/14 03:08/~lp15/papers/Bella/accountability.pdf
60 21/Apr/14 02:06/~lp15/MLbook/programs/sample2.sml
57 0.06%19/Apr/14 15:05/~lp15/papers/Bella/nonrepudiation.pdf
56 0.01%21/Apr/14 04:58/~lp15/Grants/UNITY/
55 0.01%19/Apr/14 18:40/~lp15/Grants/SET/
55 20/Apr/14 20:07/~lp15/papers/Reports/
54 20/Apr/14 05:31/~lp15/MLbook/pub-details.html
53 0.14%21/Apr/14 03:08/~lp15/papers/Auth/SET-overview-IJIS.pdf
53 0.08%20/Apr/14 15:24/~lp15/papers/Bella/certified-email.pdf
52 20/Apr/14 23:15/~lp15/Pages/cv.html
52 0.10%19/Apr/14 03:32/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
52 0.03%20/Apr/14 06:46/~lp15/Pages/Top100Theorems.html
51 20/Apr/14 21:30/~lp15/MLbook/general.html
51 1.46% 6/Apr/14 04:05/~lp15/papers/Arith/qepcad-B.1.65.MacOSX.zip
50 0.01%21/Apr/14 02:00/~lp15/MLbook/review.html
50 21/Apr/14 08:28/~lp15/papers/
50 0.01%20/Apr/14 20:08/~lp15/papers/Automation/
49 21/Apr/14 00:11/~lp15/papers/Arith/download.html
49 0.20%17/Apr/14 00:58/~lp15/papers/Reports/TypeClasses.pdf
47 0.21%21/Apr/14 08:40/~lp15/papers/Automation/reconstruction.pdf
47 0.12%19/Apr/14 17:23/~lp15/papers/Automation/IJCAR2004.pdf
47 0.07%21/Apr/14 09:09/~lp15/papers/Arith/Narayanan DATE.pdf
46 0.25%16/Apr/14 17:35/~lp15/papers/Bella/purchase-JAR.pdf
46 0.05%19/Apr/14 09:26/~lp15/papers/Auth/yahalom.pdf
45 21/Apr/14 01:02/~lp15/archive/
44 0.41%20/Apr/14 18:51/~lp15/papers/Reports/popl82.pdf
44 0.04%21/Apr/14 09:36/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
44 0.16%12/Apr/14 10:43/~lp15/papers/Auth/SET-overview-slides.pdf
44 0.10%21/Apr/14 01:08/~lp15/papers/Kammueller/sylow.pdf
44 0.01%20/Apr/14 17:41/~lp15/Grants/AutoPolyFun/
43 0.01%21/Apr/14 00:56/~lp15/MLbook/first/programs/Lists-Trees.ML
42 0.01%20/Apr/14 20:03/~lp15/papers/isabelle.html
42 21/Apr/14 03:08/~lp15/papers/workshop.html
39 21/Apr/14 05:47/~lp15/papers/Notes/
39 0.05%20/Apr/14 04:18/~lp15/Usage/
39 20/Apr/14 12:30/~lp15/papers/Workshop/
38 20/Apr/14 04:44/~lp15/Grants/
38 0.02%20/Apr/14 23:16/~lp15/images/pilkington.jpg
38 0.11%19/Apr/14 19:36/~lp15/papers/Sets/reflection.pdf
37 0.04%20/Apr/14 20:07/~lp15/papers/Auth/SET-overview-2002.pdf
37 0.05%21/Apr/14 06:06/~lp15/papers/Bella/cav98.pdf
37 0.06%19/Apr/14 17:40/~lp15/papers/Auth/ijcar2001.pdf
37 20/Apr/14 03:52/~lp15/Grants/leo2.html
36 20/Apr/14 17:23/~lp15/papers/Arith/qepcad-for-mac.html
35 0.05%19/Apr/14 14:56/~lp15/papers/Automation/paar.pdf
33 21/Apr/14 06:52/~lp15/Pages/CL-English.html
33 0.07%20/Apr/14 19:35/~lp15/papers/Arith/Hscc09.pdf
33 0.05%20/Apr/14 16:28/~lp15/papers/Arith/ITP-2012-invited.pdf
32 20/Apr/14 01:53/~lp15/papers/books.html
32 20/Apr/14 16:34/~lp15/Grants/LEO-II/
31 0.01%19/Apr/14 13:05/~lp15/MLbook/programs/sample10.sml
30 20/Apr/14 22:08/~lp15/papers/UNITY/
30 21/Apr/14 01:33/~lp15/MLbook/disclaimer.html
30 0.04%18/Apr/14 19:22/~lp15/papers/Automation/leo2-ijcar.pdf
30 0.02%20/Apr/14 22:23/~lp15/Sue/Cultures of Dance.ppt
30 19/Apr/14 13:04/~lp15/MLbook/programs/sample5.sml
29 0.06%19/Apr/14 07:41/~lp15/papers/Reports/blast.pdf
29 20/Apr/14 09:40/~lp15/Grants/Automation/
28 0.13%17/Apr/14 11:45/~lp15/papers/Sets/constructible-slides.pdf
28 0.05% 6/Apr/14 14:41/~lp15/Pages/G%C3%B6del-logic.pdf
28 21/Apr/14 01:07/~lp15/Pages/ACS-proposals.html
27 0.05%20/Apr/14 14:11/~lp15/papers/Auth/multicast_verification.pdf
27 0.01%21/Apr/14 00:30/~lp15/MLbook/programs/sample9.sml
27 0.09%20/Apr/14 07:04/~lp15/papers/Workshop/papers/nipkow.pdf
27 19/Apr/14 13:04/~lp15/MLbook/programs/sample4.sml
26 6.15% 8/Apr/14 14:15/~lp15/archive/Isabelle2013-1.tar.gz
26 19/Apr/14 08:03/~lp15/papers/invited.html
26 0.12%21/Apr/14 02:34/~lp15/papers/Deduction/lecture3.pdf
26 0.08%20/Apr/14 20:57/~lp15/papers/Arith/cicm2012.pdf
25 0.05%20/Apr/14 15:01/~lp15/papers/Automation/translations-jar.pdf
25 21/Apr/14 07:25/~lp15/Pages/
24 19/Apr/14 23:18/~lp15/MLbook/first/
24 18/Apr/14 06:42/~lp15/papers/hol.html
24 0.03%21/Apr/14 01:04/~lp15/papers/Auth/lics.pdf
23 1.06%21/Apr/14 09:03/~lp15/papers/Arith/ITP 2012 presentation.pdf
23 20/Apr/14 23:02/~lp15/papers/Arith/atan-problem-1-weak.html
23 0.05%18/Apr/14 23:09/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
23 0.05%21/Apr/14 03:36/~lp15/papers/Automation/cade2011-sledge-smt.pdf
23 20/Apr/14 04:14/~lp15/MLbook/programs/sample3-old.sml
22 19/Apr/14 13:05/~lp15/MLbook/programs/sample8.sml
22 0.04%21/Apr/14 09:37/~lp15/papers/Bella/dimacs97.pdf
22 20/Apr/14 19:57/~lp15/papers/recur.html
22 0.04%18/Apr/14 10:36/~lp15/papers/Bella/purchase.pdf
21 19/Apr/14 14:59/~lp15/MLbook/first/programs/Lambda.ML
21 18/Apr/14 17:08/~lp15/papers/Arith/RELEASE-NOTES.txt
21 0.07%17/Apr/14 23:13/~lp15/papers/Sets/set-I.pdf
21 0.03%20/Apr/14 10:47/~lp15/papers/Sets/final.pdf
20 0.05%18/Apr/14 12:10/~lp15/papers/Automation/translations.pdf
20 20/Apr/14 13:38/~lp15/papers/Isabelle/
20 20/Apr/14 22:03/~lp15/papers/Kammueller/
20 20/Apr/14 12:00/~lp15/MLbook/exercises/exer2.html
20 21/Apr/14 07:54/~lp15/papers/Workshop/participants.html
19 0.04%20/Apr/14 18:16/~lp15/papers/Sets/milner-ind-defs.pdf
19 0.04%20/Apr/14 05:18/~lp15/papers/Automation/meng-termination.pdf
19 0.05%11/Apr/14 14:22/~lp15/papers/Bella/esorics2000.pdf
19 19/Apr/14 04:58/~lp15/MLbook/exercises/exer8.html
18 21/Apr/14 01:02/~lp15/MLbook/programs/sample7.sml
18 20/Apr/14 01:42/~lp15/Grants/automation.html
18 0.01%20/Apr/14 06:43/~lp15/MLbook/exercises/exer4.html
18 20/Apr/14 19:58/~lp15/papers/Bella/
18 0.01%19/Apr/14 23:07/~lp15/MLbook/exercises/exer6.html
18 0.01%17/Apr/14 01:33/~lp15/papers/Reviews/construct.pdf
18 0.09%15/Apr/14 17:12/~lp15/papers/Arith/calculemus2008.pdf
18 0.08%16/Apr/14 19:56/~lp15/papers/UNITY/UNITY.pdf
18 0.01%19/Apr/14 06:33/~lp15/Usage/images/
18 20/Apr/14 20:20/~lp15/MLbook/first/programs/Imperative.ML
17 0.01%20/Apr/14 06:44/~lp15/MLbook/exercises/exer3.html
17 19/Apr/14 20:48/~lp15/Grants/arith.html
17 19/Apr/14 05:49/~lp15/MLbook/programs/notes.html
17 20/Apr/14 01:40/~lp15/Data/ho-translations/
17 0.03%20/Apr/14 01:27/~lp15/papers/Workshop/papers/benini.pdf
17 19/Apr/14 10:27/~lp15/MLbook/programs/ROOT.sml
17 0.04%19/Apr/14 14:43/~lp15/papers/Automation/jar-smt.pdf
17 21/Apr/14 08:28/~lp15/papers/Ballarin/
17 20/Apr/14 12:19/~lp15/css/
17 21/Apr/14 05:54/~lp15/Data/relevance/
16 0.03%15/Apr/14 03:05/~lp15/papers/UNITY/ehmety-composition.pdf
16 0.05%18/Apr/14 20:58/~lp15/papers/Automation/filtering.pdf
16 21/Apr/14 03:35/~lp15/MLbook/programs/sample8-old.sml
16 20/Apr/14 11:49/~lp15/SpryAssets/
16 0.02%16/Apr/14 10:07/~lp15/papers/Notes/strategy.pdf
16 21/Apr/14 04:35/~lp15/papers/Workshop/papers/
16 0.05%18/Apr/14 18:56/~lp15/papers/Reports/equivclasses.pdf
16 20/Apr/14 03:59/~lp15/MLbook/exercises/exer7.html
16 21/Apr/14 05:54/~lp15/Data/
16 0.04%16/Apr/14 05:56/~lp15/papers/UNITY/Mechanizing-compositional.pdf
15 21/Apr/14 01:00/~lp15/MLbook/programs/test10.sml
15 17/Apr/14 22:42/~lp15/MLbook/first/programs/
15 16/Apr/14 17:14/~lp15/MLbook/exercises/exer5.html
15 0.06%20/Apr/14 20:16/~lp15/papers/Sets/set-II.pdf
15 0.07%20/Apr/14 02:37/~lp15/papers/UNITY/composition.pdf
15 20/Apr/14 18:16/~lp15/images/
15 0.13%21/Apr/14 01:26/~lp15/papers/Deduction/lecture1.pdf
15 20/Apr/14 16:28/~lp15/Templates/
15 0.01%21/Apr/14 04:58/~lp15/Grants/UNITY/case.pdf
15 19/Apr/14 02:51/~lp15/MLbook/first/programs/Functions.ML
15 0.05%19/Apr/14 18:46/~lp15/papers/Sets/reflection-slides.pdf
15 0.01%15/Apr/14 06:43/~lp15/papers/Reports/CADE9.pdf
15 16/Apr/14 08:45/~lp15/MLbook/first/ERRATA1.txt
15 20/Apr/14 14:28/~lp15/Grants/Chaieb.html
15 0.42%19/Apr/14 03:13/~lp15/Sue/Thesis-Appendices.pdf
15 0.05%19/Apr/14 04:58/~lp15/papers/Workshop/papers/kammueller.pdf
15 0.08%15/Apr/14 19:43/~lp15/papers/Bella/TPHOLs03-slides.pdf
14 20/Apr/14 22:37/~lp15/papers/Reviews/
14 0.01%15/Apr/14 08:27/~lp15/papers/Notes/strategy-slides.pdf
14 0.09%17/Apr/14 15:26/~lp15/papers/Reports/Bridge-ml.pdf
14 0.01%20/Apr/14 07:55/~lp15/papers/paulson.bib
14 0.02%19/Apr/14 16:06/~lp15/papers/Auth/auth-slides.pdf
14 0.06%21/Apr/14 08:05/~lp15/papers/Automation/filtering-jal.pdf
14 20/Apr/14 17:05/~lp15/MLbook/programs/sample8-2004.sml
14 0.03%19/Apr/14 13:28/~lp15/papers/UNITY/tphols01.pdf
14 21/Apr/14 00:08/~lp15/MLbook/programs/sample10-old.sml
14 0.13% 8/Apr/14 15:14/~lp15/papers/Notes/formalizing-abst-slides.pdf
14 18/Apr/14 09:03/~lp15/MLbook/first/programs/Modules.ML
14 0.02%20/Apr/14 18:16/~lp15/papers/Arith/pdpar2006.pdf
14 0.02% 8/Apr/14 15:38/~lp15/papers/Reports/CADE11.pdf
14 20/Apr/14 18:19/~lp15/Grants/holisa.html
14 19/Apr/14 13:06/~lp15/MLbook/programs/sample9-2004.sml
13 21/Apr/14 08:39/~lp15/tmp/
13 0.01%19/Apr/14 22:36/~lp15/MLbook/first/ML-syntax.ps.gz
13 21/Apr/14 03:43/~lp15/papers/Deduction/
13 0.08%15/Apr/14 14:12/~lp15/papers/Auth/tls-slides.pdf
13 0.13%14/Apr/14 21:17/~lp15/papers/Isabelle/Cube-presentation.pdf
13 20/Apr/14 17:06/~lp15/Grants/temporal.html
13 17/Apr/14 02:05/~lp15/Sue/Cultures of Dance.html
12 18/Apr/14 09:09/~lp15/MLbook/first/programs/ParsePrint.ML
12 0.02%21/Apr/14 08:40/~lp15/Grants/Automation/final.pdf
12 0.15%17/Apr/14 04:17/~lp15/papers/Reports/TypeClasses-slides.pdf
12 0.04%20/Apr/14 01:42/~lp15/papers/Isabelle/Goedel-ar.pdf
12 0.02%21/Apr/14 04:03/~lp15/Grants/AutoPolyFun/case.pdf
12 17/Apr/14 22:33/~lp15/MLbook/StandardML.plist
12 0.03%16/Apr/14 21:10/~lp15/papers/Bella/registration.pdf
11 0.04%20/Apr/14 07:46/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
11 0.02%20/Apr/14 19:07/~lp15/papers/Arith/case-splitting.pdf
11 0.13%12/Apr/14 11:52/~lp15/Grants/Automation/poster.pdf
11 0.03%19/Apr/14 03:52/~lp15/papers/Workshop/papers/voelker.pdf
11 0.03%14/Apr/14 22:44/~lp15/papers/Workshop/papers/vigano.pdf
11 0.06%15/Apr/14 06:44/~lp15/papers/Sets/constructible-theory.pdf
11 0.01%18/Apr/14 03:33/~lp15/papers/Auth/recur-slides.pdf
11 21/Apr/14 06:43/~lp15/MLbook/exercises/disclaimer.html
10 18/Apr/14 11:43/~lp15/Grants/auth.html
10 0.04%20/Apr/14 20:20/~lp15/papers/Workshop/papers/paulson.pdf
10 0.03%16/Apr/14 18:45/~lp15/papers/Auth/SET-document.pdf
10 0.02%19/Apr/14 23:16/~lp15/papers/Isabelle/Goedel-logic.pdf
10 0.24%19/Apr/14 03:13/~lp15/Sue/Phd-Poster.pdf
10 0.01%20/Apr/14 13:05/~lp15/papers/Notes/leeds-notes.pdf
10 0.03%19/Apr/14 16:19/~lp15/archive/isabelle-users.99.gz
10 0.01%17/Apr/14 12:13/~lp15/Grants/Automation/case.pdf
10 0.02%21/Apr/14 08:40/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
10 0.03%19/Apr/14 13:09/~lp15/papers/Reports/logics97.pdf
10 0.02%17/Apr/14 01:02/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
10 0.04%18/Apr/14 18:11/~lp15/papers/Arith/Narayanan TR.pdf
10 18/Apr/14 04:10/~lp15/MLbook/first/programs/Hal.ML
9 20/Apr/14 06:08/~lp15/papers/Workshop/matthews.html
9 0.02%15/Apr/14 15:47/~lp15/papers/Arith/lpar2007.pdf
9 21/Apr/14 02:41/~lp15/papers/Workshop/paulson.html
9 18/Apr/14 10:42/~lp15/papers/Sets/ind-defs-slides.pdf
9 0.06%15/Apr/14 10:44/~lp15/papers/Reports/intro-to-isabelle.pdf
9 0.08%19/Apr/14 15:07/~lp15/Grants/arith-case.pdf
9 0.02%20/Apr/14 18:34/~lp15/papers/Reports/lamport-paulson-types.pdf
9 0.08%13/Apr/14 15:43/~lp15/papers/Auth/dagstuhl2003-slides.pdf
9 21/Apr/14 03:38/~lp15/papers/Workshop/programme.html
9 0.05%12/Apr/14 04:29/~lp15/papers/Automation/info-and-comp.pdf
8 21/Apr/14 06:05/~lp15/Sue/Cultures of Dance.pdf
8 0.01%20/Apr/14 05:15/~lp15/papers/Arith/FroCoS-2013-invited.pdf
8 19/Apr/14 13:05/~lp15/papers/Workshop/staples.html
8 0.01%17/Apr/14 20:38/~lp15/Grants/LEO-II/leo2-case.pdf
8 0.02%18/Apr/14 23:40/~lp15/archive/isabelle-users.98.gz
8 18/Apr/14 11:38/~lp15/papers/Workshop/thompson.html
8 0.02% 9/Apr/14 15:28/~lp15/papers/Workshop/papers/kalvala-linear.pdf
8 0.01%19/Apr/14 01:30/~lp15/papers/Workshop/vigano.pdf
8 0.03%16/Apr/14 17:17/~lp15/papers/Workshop/papers/bednarczyk.pdf
8 20/Apr/14 20:00/~lp15/papers/Workshop/agerholm.html
8 0.02%21/Apr/14 02:54/~lp15/papers/Reports/TPHOLs05.pdf
8 0.02%20/Apr/14 02:09/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
8 0.01%21/Apr/14 00:32/~lp15/papers/Auth/security-protocols.pdf
7 21/Apr/14 03:34/~lp15/papers/Workshop/kalvala.html
7 0.02%11/Apr/14 13:38/~lp15/papers/Arith/case-splitting-stats.csv
7 0.01%21/Apr/14 09:11/~lp15/papers/Arith/Overcoming.pdf
7 0.09% 8/Apr/14 15:38/~lp15/papers/Arith/metit-slides.pdf
7 0.03%12/Apr/14 05:12/~lp15/papers/Workshop/papers/rasmussen.pdf
7 0.02%16/Apr/14 09:00/~lp15/papers/Ballarin/coding.pdf
6 19/Apr/14 23:18/~lp15/papers/Workshop/nipkow.html
6 0.01% 5/Apr/14 02:06/~lp15/papers/Workshop/front.pdf
6 17/Apr/14 04:51/~lp15/MLbook/first/ERRATA3.txt
6 19/Apr/14 05:31/~lp15/papers/Workshop/owens.txt
6 0.31%20/Apr/14 23:05/~lp15/papers/Isabelle/Goedel-slides.pdf
6 0.04% 8/Apr/14 15:14/~lp15/papers/Automation/Huet colloquium.pdf
6 0.01%17/Apr/14 01:12/~lp15/papers/Workshop/papers/thompson.pdf
6 0.04%20/Apr/14 16:54/~lp15/papers/Deduction/lecture2.pdf
6 18/Apr/14 17:00/~lp15/archive/ERRATA.txt
6 0.26%20/Apr/14 06:46/~lp15/papers/Arith/Overcoming-slides.pdf
6 0.01%18/Apr/14 06:00/~lp15/papers/Workshop/kammueller.pdf
6 0.01%20/Apr/14 17:55/~lp15/papers/Arith/fmcad2009.pdf
6 19/Apr/14 18:19/~lp15/papers/Workshop/futures.html
6 15/Apr/14 17:32/~lp15/MLbook/ERRATA.txt
6 0.01%19/Apr/14 01:19/~lp15/papers/Workshop/ayari.pdf
6 19/Apr/14 23:13/~lp15/papers/Workshop/wolff.html
6 0.01%20/Apr/14 23:47/~lp15/Grants/leo2-case.pdf
31220.17%21/Apr/14 02:40[not listed: 105 files]