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

Program started at Fri-20-Mar-2015 16:11.
Analysed requests from Wed-05-Nov-2014 15:02 to Fri-20-Mar-2015 16:01 (135.04 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 20-Mar-2015 16:11.

Successful requests: 20,179 (3,969)
Average successful requests per day: 149 (566)
Successful requests for pages: 4,987 (1,021)
Average successful requests for pages per day: 36 (145)
Failed requests: 971 (206)
Redirected requests: 256 (25)
Distinct files requested: 433 (281)
Distinct hosts served: 3,766 (925)
Corrupt logfile lines: 5
Unwanted logfile entries: 13,588
Data transferred: 5.79 gigabytes (953.29 megabytes)
Average data transferred per day: 43.88 megabytes (136.18 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 25 requests for pages or part thereof.

dayreqspages 
Sun2048571+++++++++++++++++++++++
Mon2569659+++++++++++++++++++++++++++
Tue3236730++++++++++++++++++++++++++++++
Wed3475858+++++++++++++++++++++++++++++++++++
Thu2894711+++++++++++++++++++++++++++++
Fri4055993++++++++++++++++++++++++++++++++++++++++
Sat1902465+++++++++++++++++++

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
461934.44%.com (Commercial)
725233.72%[unresolved numerical addresses]
1791 6.10%.net (Networks)
1039 3.50%.de (Germany)
950 3.35%.uk (United Kingdom)
130 2.69%[unknown domain]
503 2.49%.in (India)
332 2.46%.cz (Czech Republic)
580 1.69%[domain not given]
246 1.04%.cn (China)
64 1.00%.au (Australia)
468 0.93%.edu (USA Higher Education)
114 0.80%.pk (Pakistan)
49 0.75%.es (Spain)
185 0.30%.ru (Russia)
90 0.30%.jp (Japan)
56 0.28%.tr (Turkey)
57 0.28%.br (Brazil)
123 0.24%.fr (France)
49 0.23%.gr (Greece)
66 0.23%.pl (Poland)
73 0.21%.ch (Switzerland)
96 0.18%.nl (Netherlands)
29 0.16%.th (Thailand)
107 0.16%.ca (Canada)
34 0.13%.no (Norway)
46 0.12%.np (Nepal)
144 0.12%.it (Italy)
17 0.11%.pt (Portugal)
128 0.11%.mx (Mexico)
24 0.11%.my (Malaysia)
61 0.11%.at (Austria)
9 0.11%.zw (Zimbabwe)
5 0.09%.gt (Guatemala)
34 0.08%.kz (Kazakhstan)
14 0.08%.nz (New Zealand)
19 0.08%.bt (Bhutan)
7 0.08%.rw (Rwanda)
23 0.07%.hk (Hong Kong)
6 0.06%.ir (Iran)
26 0.06%.dk (Denmark)
18 0.06%.arpa (Arpanet)
42 0.06%.za (South Africa)
16 0.06%.vn (Vietnam)
32 0.06%.ro (Romania)
20 0.05%.ye (Yemen)
24 0.04%.co (Colombia)
23 0.04%.se (Sweden)
18 0.04%.lk (Sri Lanka)
34 0.04%.org (Non Profit Making Organisations)
29 0.04%.fi (Finland)
1 0.04%.tt (Trinidad and Tobago)
26 0.04%.ar (Argentina)
12 0.04%.gov (USA Government)
24 0.03%.tw (Taiwan)
21 0.03%.hr (Croatia)
3 0.03%.na (Namibia)
3 0.03%.gh (Ghana)
3 0.03%.ug (Uganda)
41 0.02%.il (Israel)
15 0.02%.hu (Hungary)
6 0.02%.pe (Peru)
19 0.02%.ie (Ireland)
8 0.02%.be (Belgium)
21 0.01%.bg (Bulgaria)
2 0.01%.uz (Uzbekistan)
2 0.01%.lb (Lebanon)
3 0.01%.by (Belarus)
3 0.01%.ma (Morocco)
10 0.01%.ua (Ukraine)
4 0.01%.cm (Cameroon)
6 0.01%.ke (Kenya)
4 0.01%.ee (Estonia)
8 .sg (Singapore)
3 .bd (Bangladesh)
2 .sk (Slovakia)
1 .mk (Macedonia (Former Yugoslav Republic))
1 .si (Slovenia)
3 .is (Iceland)
1 .sa (Saudi Arabia)
1 .nu (Niue)
1 .io (British Indian Ocean Territory)

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
109711.11%msn.com
778 1.73%106
649 3.47%yandex.com
628 6.24%amazonaws.com
594 2.48%your-server.de
580 1.69%[domain not given]
526 2.04%117
430 2.29%cam.ac.uk
392 0.73%comcast.net
338 1.35%115
306 2.43%cerit-sc.cz
292 1.26%41
272 1.44%39
236 1.01%cnsat.com.cn
235 0.17%123
212 1.86%baidu.com
203 0.61%199.16
196 0.04%17
183 page2rss.com
173 0.29%t-ipconnect.de
1185957.73%[not listed: 1,143 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
231software
176engineering
123pdf
108notes
86in
45some
45failures
42of
21http://www.cl.cam.ac.uk/~lp15/papers/notes/se
21i.pdf
18equivalence
16set
16class
15on
15and
15card
14computer
13filetype:pdf
13the
13system
12airline
12reservation
12:pdf
12holder
12download
12terminology
12registration
12using
12security
11theorem
474[not listed: 211 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
138421759OS unknown
2108321386Windows
 93111021  Unknown Windows
 1486351  Windows XP
 237  Windows NT
 44  Windows 98
 73  Windows 2000
 10  Windows Server 2003
32367786Macintosh
42058553Unix
 2031544  Linux
 258  Other Unix
 21  BSD
51005468Known robots
6113Symbian 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
11522200 OK
7923206 Partial content
256301 Document moved permanently
734304 Not modified since last retrieval
274403 Access forbidden
696404 Document not found
1416 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
0821 
1B- 10B7 
11B- 100B6 
101B- 1kB254 
1kB- 10kB2949 0.21%
10kB-100kB10189 6.71%
100kB- 1MB535737.75%
1MB- 10MB52724.24%
10MB-100MB6931.08%

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
1328961.94%.pdf [Adobe Portable Document Format]
17720.67%.gz [Gzip compressed files]
8820.56%  .tar.gz [Compressed archives]
10415.23%.tbz
933 0.87%.jpg [JPEG graphics]
3289 0.43%[directories]
1698 0.26%.html [Hypertext Markup Language]
2 0.23%.zip [Zip archives]
2 0.17%.tgz
685 0.20%[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
3289 7.80%20/Mar/15 15:38/~lp15/papers/Reports/equivclasses-slides.pdf
283416.92%20/Mar/15 15:51/~lp15/papers/Notes/SE-I.pdf
967 0.15%20/Mar/15 15:47/~lp15/
737 8.71%20/Mar/15 10:13/~lp15/papers/Reports/thesis.pdf
445 1.21%20/Mar/15 14:26/~lp15/papers/Formath/automata.pdf
442 0.02%20/Mar/15 16:01/~lp15/MLbook/
404 0.47%20/Mar/15 15:47/~lp15/images/larry-home-small.jpg
401 0.34%20/Mar/15 15:47/~lp15/images/acm-logo.jpg
389 0.07%20/Mar/15 16:01/~lp15/papers/Arith/
338 0.10%20/Mar/15 15:33/~lp15/papers/refereed.html
280 0.66%18/Mar/15 02:58/~lp15/papers/Reports/popl82.pdf
225 0.35%20/Mar/15 12:08/~lp15/papers/Reports/fleuriot-kepler.pdf
220 0.47%20/Mar/15 12:07/~lp15/papers/Notes/Founds-FP.pdf
213 0.01%20/Mar/15 13:38/~lp15/MLbook/programs/
205 3.36%20/Mar/15 02:10/~lp15/Sue/Thesis.pdf
172 0.63%19/Mar/15 13:18/~lp15/papers/Auth/jcs.pdf
131 0.68%18/Mar/15 10:06/~lp15/papers/Isabelle/Goedel-ar.pdf
117 0.02%20/Mar/15 04:29/~lp15/Sue/
108 0.02%20/Mar/15 15:47/~lp15/Pages/Scream.html
108 0.10%19/Mar/15 19:31/~lp15/papers/Reports/mutil.pdf
107 0.01%20/Mar/15 15:36/~lp15/papers/Automation/
105 0.20%20/Mar/15 05:30/~lp15/papers/Isabelle/aisc98.pdf
103 0.32%19/Mar/15 23:17/~lp15/papers/Reports/equivclasses.pdf
88 0.32%18/Mar/15 21:41/~lp15/papers/Automation/info-and-comp.pdf
87 0.02%20/Mar/15 03:33/~lp15/papers/Auth/
84 20/Mar/15 14:22/~lp15/MLbook/exercises/
83 0.14%19/Mar/15 06:48/~lp15/papers/Automation/meng-termination.pdf
82 0.40%19/Mar/15 20:31/~lp15/papers/Arith/Sogokon-nfm14.pdf
80 20/Mar/15 10:44/~lp15/MLbook/programs/sample2.sml
78 0.45%20/Mar/15 15:19/~lp15/papers/Arith/MetiTarski-jar.pdf
78 0.17%20/Mar/15 12:08/~lp15/papers/Auth/tls.pdf
75 0.01%20/Mar/15 15:42/~lp15/papers/Formath/
74 0.09%19/Mar/15 18:44/~lp15/papers/Auth/lics.pdf
73 0.43%20/Mar/15 07:26/~lp15/papers/Formath/Goedel-ar.pdf
71 0.17%20/Mar/15 09:31/~lp15/papers/Formath/set-I.pdf
70 0.01%20/Mar/15 13:44/~lp15/papers/lecture-courses.html
68 0.24%19/Mar/15 17:21/~lp15/papers/Bella/smartcards-jcs.pdf
67 0.11%19/Mar/15 02:50/~lp15/papers/Bella/dimacs97.pdf
67 0.13%20/Mar/15 05:09/~lp15/papers/Reports/TPHOLs05.pdf
65 0.20%18/Mar/15 04:58/~lp15/papers/Arith/calculemus2008.pdf
65 0.22%20/Mar/15 10:02/~lp15/Pages/Munich-slides.pdf
65 0.01%20/Mar/15 15:14/~lp15/Grants/SET/
64 0.13%20/Mar/15 14:30/~lp15/papers/Bella/esorics98.pdf
64 20/Mar/15 13:11/~lp15/MLbook/pub-details.html
63 0.16%20/Mar/15 11:37/~lp15/papers/Automation/filtering.pdf
62 0.09%19/Mar/15 03:01/~lp15/Pages/vita.pdf
59 0.12%20/Mar/15 03:16/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
59 0.01%20/Mar/15 13:38/~lp15/MLbook/ERRATA.html
59 0.11%18/Mar/15 04:59/~lp15/papers/Automation/translations.pdf
59 0.01%20/Mar/15 09:20/~lp15/MLbook/programs/sample4.sml
58 20/Mar/15 15:57/~lp15/MLbook/general.html
57 0.10%20/Mar/15 15:34/~lp15/papers/Workshop/papers/voelker.pdf
57 0.01%20/Mar/15 08:18/~lp15/papers/Reports/
56 20/Mar/15 13:38/~lp15/Pages/cv.html
56 0.08%18/Mar/15 09:24/~lp15/papers/Automation/IJCAR2004.pdf
56 20/Mar/15 14:42/~lp15/papers/Arith/qepcad-for-mac.html
56 0.03%19/Mar/15 22:56/~lp15/Sue/Sue Paulson.jpg
54 0.40%18/Mar/15 19:22/~lp15/papers/Bella/purchase-JAR.pdf
54 0.06%19/Mar/15 05:30/~lp15/papers/Arith/Narayanan DATE.pdf
53 20/Mar/15 15:40/~lp15/papers/Workshop/
52 0.06%19/Mar/15 11:43/~lp15/papers/Formath/Goedel-logic.pdf
52 0.58%19/Mar/15 07:15/~lp15/papers/Reports/TypeClasses.pdf
52 0.01%20/Mar/15 12:52/~lp15/archive/
52 0.01%20/Mar/15 15:39/~lp15/papers/Isabelle/
51 0.01%19/Mar/15 21:36/~lp15/MLbook/review.html
50 20/Mar/15 16:01/~lp15/papers/Arith/download.html
50 0.01%20/Mar/15 09:57/~lp15/Grants/AutoPolyFun/
48 0.02%20/Mar/15 06:42/~lp15/papers/Reviews/MLer.pdf
48 0.07%20/Mar/15 15:36/~lp15/papers/Automation/cade2011-sledge-smt.pdf
47 0.01%20/Mar/15 13:11/~lp15/MLbook/programs/sample3.sml
46 0.10%19/Mar/15 07:17/~lp15/papers/Bella/esorics2000.pdf
45 0.47%13/Mar/15 04:08/~lp15/papers/Auth/lics-slides.pdf
45 0.06%20/Mar/15 09:04/~lp15/papers/Arith/fmcad2009.pdf
45 0.11%20/Mar/15 10:14/~lp15/papers/Formath/set-II.pdf
44 0.04%20/Mar/15 09:57/~lp15/Usage/
44 15/Mar/15 19:16/~lp15/Pages/projects.html
44 0.09%17/Mar/15 19:39/~lp15/papers/Bella/purchase.pdf
43 0.19%18/Mar/15 04:59/~lp15/papers/Automation/reconstruction.pdf
43 0.01%19/Mar/15 19:34/~lp15/papers/invited.html
43 0.08%18/Mar/15 09:24/~lp15/papers/UNITY/Mechanizing-compositional.pdf
43 0.01%20/Mar/15 13:39/~lp15/MLbook/exercises/exer8.html
42 20/Mar/15 09:57/~lp15/Grants/LEO-II/
41 0.02%20/Mar/15 13:38/~lp15/images/pilkington.jpg
41 0.22%19/Mar/15 23:51/~lp15/papers/Workshop/papers/rasmussen.pdf
40 0.05%19/Mar/15 13:53/~lp15/papers/Isabelle/chap700.pdf
40 20/Mar/15 11:09/~lp15/papers/
38 0.02%20/Mar/15 08:49/~lp15/MLbook/first/ML-syntax.ps.gz
38 0.04%18/Mar/15 04:59/~lp15/papers/Arith/pdpar2006.pdf
37 0.12%20/Mar/15 02:10/~lp15/papers/Automation/translations-jar.pdf
37 0.05%18/Mar/15 04:58/~lp15/papers/Arith/case-splitting.pdf
37 20/Mar/15 13:39/~lp15/papers/Arith/atan-problem-1-weak.html
37 20/Mar/15 13:36/~lp15/papers/hol.html
37 0.05%18/Mar/15 10:07/~lp15/papers/Automation/thf-sledge.pdf
37 20/Mar/15 07:58/~lp15/papers/workshop.html
37 0.01%20/Mar/15 14:13/~lp15/Grants/UNITY/
36 0.05%20/Mar/15 05:45/~lp15/papers/Auth/SET-overview-2002.pdf
36 0.10%20/Mar/15 02:10/~lp15/papers/Automation/filtering-jal.pdf
36 0.08%18/Mar/15 08:56/~lp15/papers/Arith/Hscc09.pdf
35 0.03%20/Mar/15 10:48/~lp15/Grants/LEO-II/leo2-case.pdf
35 19/Mar/15 21:06/~lp15/Grants/
35 19/Mar/15 15:41/~lp15/MLbook/first/
34 0.01%18/Mar/15 20:40/~lp15/MLbook/exercises/exer3.html
34 20/Mar/15 09:56/~lp15/Pages/CL-English.html
34 0.08%20/Mar/15 11:43/~lp15/papers/Reports/blast.pdf
34 0.09%16/Mar/15 16:44/~lp15/papers/Auth/SET-overview-IJIS.pdf
34 0.06%18/Mar/15 13:10/~lp15/papers/Arith/lpar2007.pdf
34 20/Mar/15 11:06/~lp15/papers/books.html
34 0.07%15/Mar/15 16:34/~lp15/papers/Automation/paar.pdf
33 0.08%20/Mar/15 10:01/~lp15/papers/Formath/AC.pdf
33 0.01%20/Mar/15 15:41/~lp15/MLbook/exercises/exer2.html
32 20/Mar/15 07:48/~lp15/papers/UNITY/
32 0.08%17/Mar/15 10:03/~lp15/papers/Auth/multicast_verification.pdf
32 0.12%19/Mar/15 17:03/~lp15/papers/Notes/MOD-slides.pdf
31 0.01%20/Mar/15 09:34/~lp15/MLbook/exercises/exer4.html
31 0.01%19/Mar/15 21:59/~lp15/images/larry-paulson.jpg
31 0.05%19/Mar/15 23:36/~lp15/papers/Notes/leeds-notes.pdf
31 0.02%20/Mar/15 15:20/~lp15/papers/Reviews/construct.pdf
31 6.24%13/Mar/15 03:54/~lp15/archive/Isabelle2013-2.tar.gz
31 20/Mar/15 10:56/~lp15/papers/recur.html
30 0.07%18/Mar/15 21:06/~lp15/papers/Bella/nonrepudiation.pdf
30 0.05%20/Mar/15 09:41/~lp15/papers/Bella/cav98.pdf
30 20/Mar/15 09:20/~lp15/MLbook/programs/ROOT.sml
30 0.06%18/Mar/15 04:58/~lp15/papers/Arith/Huang-3heuristics.pdf
30 1.05%20/Mar/15 13:40/~lp15/papers/Formath/Goedel-slides.pdf
30 0.12%19/Mar/15 23:22/~lp15/papers/Arith/cicm2012.pdf
29 0.05%19/Mar/15 11:40/~lp15/papers/Isabelle/Goedel-logic.pdf
28 0.04%20/Mar/15 06:57/~lp15/Sue/Cultures of Dance.ppt
28 0.14%20/Mar/15 00:07/~lp15/papers/Workshop/papers/bednarczyk.pdf
28 20/Mar/15 09:20/~lp15/MLbook/programs/sample5.sml
28 20/Mar/15 09:57/~lp15/Grants/Automation/
27 0.01%20/Mar/15 09:21/~lp15/MLbook/programs/sample8.sml
27 0.01%19/Mar/15 16:11/~lp15/Grants/holisa.html
26 0.33%13/Mar/15 01:50/~lp15/papers/Isabelle/Goedel-slides.pdf
26 0.02%20/Mar/15 08:32/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
26 0.09%20/Mar/15 12:29/~lp15/papers/Workshop/papers/vigano.pdf
25 0.24%13/Mar/15 04:06/~lp15/Grants/Automation/poster.pdf
25 0.05%18/Mar/15 04:58/~lp15/papers/Automation/jar-smt.pdf
25 0.13%16/Mar/15 11:27/~lp15/papers/UNITY/UNITY.pdf
24 20/Mar/15 08:30/~lp15/MLbook/disclaimer.html
24 0.01%20/Mar/15 09:21/~lp15/MLbook/programs/sample9.sml
24 0.01%19/Mar/15 01:22/~lp15/MLbook/exercises/exer5.html
24 0.21%20/Mar/15 12:12/~lp15/papers/Deduction/lecture3.pdf
24 0.06%18/Mar/15 02:43/~lp15/papers/Arith/SNC2014-invited.pdf
24 0.04%20/Mar/15 14:40/~lp15/papers/Arith/ITP-2012-invited.pdf
23 0.11%18/Mar/15 04:58/~lp15/papers/Reports/Bridge-ml.pdf
23 0.04%13/Mar/15 04:08/~lp15/papers/Workshop/papers/ayari.pdf
23 0.04%20/Mar/15 01:11/~lp15/papers/Automation/leo2-ijcar.pdf
23 0.05%18/Mar/15 14:14/~lp15/papers/Notes/strategy.pdf
23 20/Mar/15 09:55/~lp15/papers/Arith/RELEASE-NOTES.txt
23 17/Mar/15 15:43/~lp15/Pages/ACS-proposals.html
22 0.01%18/Mar/15 20:40/~lp15/MLbook/exercises/exer7.html
21 0.05%13/Mar/15 10:49/~lp15/papers/UNITY/ehmety-composition.pdf
21 20/Mar/15 09:57/~lp15/Grants/BeyondLinArith/
21 18/Mar/15 02:43/~lp15/MLbook/first/programs/Lists-Trees.ML
21 16/Mar/15 07:29/~lp15/papers/Notes/
21 0.01%20/Mar/15 13:40/~lp15/MLbook/programs/sample10.sml
21 0.01%18/Mar/15 20:40/~lp15/MLbook/exercises/exer6.html
21 0.06%16/Mar/15 17:07/~lp15/papers/Formath/Goedel-logic-mine.pdf
21 0.25%17/Mar/15 23:59/~lp15/papers/Automation/reconstruction-slides.pdf
21 0.06%19/Mar/15 16:47/~lp15/papers/Isabelle/coding.pdf
21 1.51%19/Mar/15 16:03/~lp15/papers/Arith/FroCos-presentation.pdf
20 23/Feb/15 15:27/~lp15/papers/Sets/
20 0.05%16/Mar/15 18:29/~lp15/papers/Bella/accountability.pdf
20 0.03%16/Mar/15 11:46/~lp15/Grants/AutoPolyFun/case.pdf
19 19/Mar/15 11:22/~lp15/papers/Deduction/
19 0.02%20/Mar/15 07:14/~lp15/papers/Arith/Overcoming.pdf
19 0.03%18/Mar/15 21:55/~lp15/papers/Workshop/vigano.pdf
19 0.03%16/Mar/15 22:44/~lp15/papers/Workshop/papers/owens.pdf
19 20/Mar/15 04:55/~lp15/MLbook/first/programs/Functions.ML
19 0.05%15/Mar/15 16:18/~lp15/papers/Bella/registration.pdf
19 0.11%13/Mar/15 04:08/~lp15/papers/Auth/dagstuhl2003-slides.pdf
19 0.09%18/Mar/15 19:13/~lp15/papers/Formath/constructible-slides.pdf
18 18/Mar/15 20:32/~lp15/MLbook/programs/notes.html
18 18/Mar/15 21:48/~lp15/Data/ho-translations/
18 0.02%19/Mar/15 10:23/~lp15/papers/Reports/CADE11.pdf
18 0.03%20/Mar/15 14:05/~lp15/papers/Formath/constructible-abstract.pdf
18 0.05%18/Mar/15 13:10/~lp15/papers/Workshop/papers/agerholm.pdf
17 20/Mar/15 09:20/~lp15/MLbook/programs/sample7.sml
17 0.01%19/Mar/15 10:03/~lp15/papers/paulson.bib
17 0.05%23/Feb/15 14:13/~lp15/papers/Sets/set-II.pdf
17 0.10%17/Mar/15 09:31/~lp15/papers/Reports/logics97.pdf
17 20/Mar/15 00:03/~lp15/MLbook/StandardML.plist
16 0.01%18/Mar/15 11:34/~lp15/papers/Notes/strategy-slides.pdf
16 0.04%18/Mar/15 17:27/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
16 16/Mar/15 17:03/~lp15/MLbook/first/programs/Lambda.ML
16 0.23%18/Mar/15 17:47/~lp15/papers/Notes/formalizing-abst-slides.pdf
16 0.92%18/Mar/15 15:25/~lp15/papers/Arith/ITP 2012 presentation.pdf
16 17/Mar/15 06:40/~lp15/MLbook/first/programs/Modules.ML
16 0.02%16/Mar/15 23:04/~lp15/papers/Auth/yahalom.pdf
16 0.04%15/Mar/15 06:54/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
16 0.43%13/Mar/15 04:07/~lp15/papers/Arith/SNC2014-slides.pdf
16 20/Mar/15 07:13/~lp15/MLbook/exercises/disclaimer.html
16 0.02%12/Mar/15 04:10/~lp15/papers/Ballarin/coding.pdf
15 20/Mar/15 02:17/~lp15/papers/Workshop/nipkow.html
15 20/Mar/15 13:41/~lp15/MLbook/programs/test10.sml
15 0.03%16/Mar/15 15:12/~lp15/Grants/Chaieb-case.pdf
15 0.02%18/Mar/15 20:11/~lp15/papers/Auth/auth-slides.pdf
15 0.26%18/Mar/15 15:10/~lp15/papers/Arith/metit-slides.pdf
15 5.50%19/Mar/15 07:11/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
15 19/Mar/15 10:28/~lp15/Grants/temporal.html
15 16/Mar/15 16:17/~lp15/Grants/temporal-final.pdf
15 16/Mar/15 07:34/~lp15/papers/Workshop/participants.html
15 16/Mar/15 04:36/~lp15/MLbook/first/programs/Imperative.ML
15 0.06%19/Mar/15 23:47/~lp15/papers/Workshop/papers/kammueller.pdf
15 19/Mar/15 20:35/~lp15/Data/relevance/
14 0.02%20/Mar/15 02:32/~lp15/papers/Formath/final.pdf
14 13/Mar/15 06:28/~lp15/papers/Bella/
14 18/Mar/15 20:58/~lp15/MLbook/first/programs/
14 0.02%13/Mar/15 04:06/~lp15/Grants/Automation/final.pdf
14 0.13%13/Mar/15 06:57/~lp15/Grants/BeyondLinArith/arith-case.pdf
14 0.03%18/Mar/15 23:13/~lp15/papers/Workshop/papers/thompson.pdf
14 3.20%19/Mar/15 04:20/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
14 0.73%20/Mar/15 04:26/~lp15/papers/Arith/Overcoming-slides.pdf
14 0.01%20/Mar/15 05:39/~lp15/papers/Arith/NFM2014-invited.pdf
13 0.04%16/Mar/15 20:37/~lp15/papers/Arith/case-splitting-stats.csv
13 0.96%13/Mar/15 06:58/~lp15/Data/ho-translations/Comb.tbz
13 0.03%20/Mar/15 05:14/~lp15/papers/Workshop/papers/benini.pdf
13 16/Mar/15 10:10/~lp15/papers/Workshop/matthews.html
13 0.41%18/Mar/15 17:00/~lp15/Sue/Phd-Poster.pdf
13 0.04%13/Mar/15 04:08/~lp15/papers/Workshop/papers/nipkow.pdf
13 0.06%19/Mar/15 09:56/~lp15/papers/UNITY/composition.pdf
13 0.07%19/Mar/15 04:36/~lp15/papers/Deduction/lecture1.pdf
13 0.02%13/Mar/15 07:23/~lp15/papers/UNITY/tphols01.pdf
13 20/Mar/15 13:41/~lp15/MLbook/programs/sample10-old.sml
13 0.01%20/Mar/15 13:00/~lp15/Grants/UNITY/case.pdf
13 4.67%13/Mar/15 06:58/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
13 0.06%18/Mar/15 12:43/~lp15/Data/relevance/tptp-2007-03-13.tbz
13 20/Mar/15 14:48/~lp15/papers/Workshop/agerholm.html
13 0.66%18/Mar/15 17:01/~lp15/papers/Notes/LCF+.pdf
13 0.02%13/Mar/15 04:07/~lp15/papers/Auth/recur-slides.pdf
13 0.01%13/Mar/15 18:10/~lp15/MLbook/first/programs/Hal.ML
13 0.09%20/Mar/15 05:57/~lp15/papers/Arith/NFM2014-slides.pdf
13 0.04%13/Mar/15 19:35/~lp15/papers/Formath/reflection.pdf
13 0.04%21/Feb/15 12:12/~lp15/papers/Sets/set-I.pdf
13 0.42%20/Mar/15 04:05/~lp15/Sue/Thesis-Appendices.pdf
12 0.02%18/Mar/15 10:34/~lp15/papers/Workshop/papers/staples.pdf
12 19/Mar/15 19:57/~lp15/Grants/auth.html
12 16/Mar/15 17:11/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
12 0.84%13/Mar/15 06:58/~lp15/Data/ho-translations/Abst.tbz
12 13/Mar/15 04:08/~lp15/papers/Workshop/thompson.html
12 13/Mar/15 06:58/~lp15/Data/ho-translations/Theories.tbz
12 0.01%15/Mar/15 18:58/~lp15/papers/Reports/CADE9.pdf
12 0.04%13/Mar/15 04:07/~lp15/papers/Bella/certified-email.pdf
12 16/Mar/15 11:50/~lp15/MLbook/programs/sample3-old.sml
12 0.12%16/Mar/15 13:00/~lp15/papers/Bella/TPHOLs03-slides.pdf
11 18/Mar/15 20:31/~lp15/MLbook/programs/sample8-old.sml
11 0.27%20/Mar/15 04:24/~lp15/Grants/BeyondLinArith/arith-poster.pdf
11 0.04%17/Mar/15 22:10/~lp15/papers/Workshop/papers/paulson.pdf
11 0.39%13/Mar/15 06:07/~lp15/Grants/LEO-II/leo project poster.pdf
11 0.01%13/Mar/15 06:54/~lp15/papers/Workshop/friedrich.pdf
11 0.02%13/Mar/15 04:08/~lp15/papers/Auth/security-protocols.pdf
11 13/Mar/15 03:18/~lp15/papers/Workshop/programme.html
10 0.01%18/Mar/15 04:04/~lp15/Sue/Cultures of Dance.pdf
10 14/Mar/15 05:22/~lp15/papers/Workshop/kalvala.html
10 0.01%16/Mar/15 15:12/~lp15/Grants/SET/case.pdf
10 20/Mar/15 08:10/~lp15/papers/Workshop/paulson.html
10 18/Mar/15 20:32/~lp15/MLbook/programs/sample9-2004.sml
10 14/Mar/15 05:17/~lp15/papers/Ballarin/aisc98.pdf
10 17/Mar/15 07:28/~lp15/MLbook/ERRATA.txt
9 0.01%16/Mar/15 03:55/~lp15/papers/Workshop/front.pdf
9 18/Mar/15 23:20/~lp15/Grants/SET/final.pdf
9 18/Mar/15 20:32/~lp15/MLbook/programs/sample8-2004.sml
9 0.12%19/Mar/15 08:08/~lp15/papers/Reports/TypeClasses-slides.pdf
9 0.02%18/Mar/15 08:55/~lp15/papers/Workshop/papers/matthews.pdf
9 0.02%13/Mar/15 04:08/~lp15/papers/Workshop/papers/kalvala-linear.pdf
9 0.01%13/Mar/15 04:08/~lp15/papers/Workshop/kammueller.pdf
9 14/Mar/15 21:29/~lp15/papers/Reports/blast-slides.pdf
9 0.03%13/Mar/15 04:09/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
9 0.03%14/Mar/15 13:54/~lp15/papers/Isabelle/sylow.pdf
9 17/Mar/15 09:05/~lp15/MLbook/first/ERRATA1.txt
9 16/Mar/15 18:44/~lp15/Grants/Chaieb.html
9  9/Mar/15 03:11/~lp15/Data/relevance/unfiltered-vampire.txt
9  9/Mar/15 03:51/~lp15/Data/relevance/unfiltered-E.txt
9 18/Mar/15 15:47/~lp15/Sue/Cultures of Dance.html
8 0.02%22/Feb/15 21:15/~lp15/papers/Sets/milner-ind-defs.pdf
8 0.01%13/Mar/15 04:09/~lp15/papers/Arith/FroCoS-2013-invited.pdf
8 13/Mar/15 04:06/~lp15/Grants/BeyondLinArith/auth-final.pdf
8 18/Mar/15 02:38/~lp15/Pages/
8 0.09%20/Mar/15 03:33/~lp15/papers/Formath/constructible-theory.pdf
8 0.14%20/Mar/15 11:44/~lp15/papers/Auth/dagstuhl2001-slides.pdf
8 0.10%19/Mar/15 09:06/~lp15/papers/Isabelle/Cube-presentation.pdf
8 0.04%20/Mar/15 09:53/~lp15/papers/Formath/reflection-slides.pdf
8 0.06%20/Mar/15 06:16/~lp15/papers/Deduction/lecture2.pdf
8 0.01%14/Mar/15 16:38/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
8 0.01%13/Mar/15 04:08/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
8 0.07%15/Mar/15 04:08/~lp15/papers/Deduction/lecture4.pdf
8 0.02%22/Feb/15 15:59/~lp15/papers/Sets/AC.pdf
8 0.01%16/Mar/15 22:17/~lp15/papers/Auth/ijcar2001.pdf
7 13/Mar/15 03:41/~lp15/Grants/arith.html
7 18/Mar/15 10:27/~lp15/papers/Reviews/
7 18/Mar/15 01:38/~lp15/tmp/
7 20/Mar/15 15:48/~lp15/papers/Formath/ind-defs-slides.pdf
7 13/Mar/15 04:08/~lp15/papers/Workshop/heule.html
7 0.03%17/Mar/15 21:29/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
7 0.04%13/Mar/15 04:08/~lp15/papers/Auth/tls-slides.pdf
7 0.06%20/Mar/15 10:24/~lp15/papers/Automation/Huet colloquium.pdf
7 0.05%16/Mar/15 14:27/~lp15/papers/Reports/intro-to-isabelle.pdf
7 0.14%13/Mar/15 04:08/~lp15/papers/Auth/ijcar2001-slides.pdf
7  7/Mar/15 05:37/~lp15/MLbook/first/ERRATA2.txt
27315.19%20/Mar/15 15:32[not listed: 101 files]