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

Program started at Mon-29-Jun-2015 11:10.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-29-Jun-2015 10:55 (235.83 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 29-Jun-2015 11:10.

Successful requests: 17,514 (3,304)
Average successful requests per day: 74 (471)
Successful requests for pages: 5,807 (996)
Average successful requests for pages per day: 24 (142)
Failed requests: 695 (149)
Redirected requests: 113 (22)
Distinct files requested: 487 (334)
Distinct hosts served: 3,110 (794)
Unwanted logfile entries: 13,884
Data transferred: 5.82 gigabytes (867.69 megabytes)
Average data transferred per day: 25.25 megabytes (123.96 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 30 requests for pages or part thereof.

dayreqspages 
Sun2564986+++++++++++++++++++++++++++++++++
Mon2537659++++++++++++++++++++++
Tue2120680+++++++++++++++++++++++
Wed1879534++++++++++++++++++
Thu36831263+++++++++++++++++++++++++++++++++++++++++++
Fri26941021+++++++++++++++++++++++++++++++++++
Sat2037664+++++++++++++++++++++++

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
187429.49%.uk (United Kingdom)
517726.47%.com (Commercial)
413721.08%[unresolved numerical addresses]
1175 4.65%.net (Networks)
164 3.01%.se (Sweden)
1771 2.87%.de (Germany)
398 2.08%[unknown domain]
256 1.51%.edu (USA Higher Education)
335 1.36%[domain not given]
274 1.20%.in (India)
99 0.49%.br (Brazil)
233 0.42%.ru (Russia)
104 0.39%.au (Australia)
35 0.33%.ir (Iran)
78 0.30%.it (Italy)
82 0.30%.jp (Japan)
89 0.29%.ke (Kenya)
70 0.29%.gr (Greece)
145 0.27%.mx (Mexico)
41 0.27%.pl (Poland)
56 0.26%.nl (Netherlands)
56 0.26%.pk (Pakistan)
39 0.21%.np (Nepal)
81 0.20%.gov (USA Government)
38 0.18%.org (Non Profit Making Organisations)
31 0.17%.ro (Romania)
30 0.12%.pt (Portugal)
63 0.12%.es (Spain)
57 0.11%.tw (Taiwan)
14 0.11%.ch (Switzerland)
22 0.11%.vn (Vietnam)
52 0.10%.at (Austria)
10 0.09%.th (Thailand)
60 0.09%.fr (France)
12 0.08%.sg (Singapore)
24 0.06%.co (Colombia)
9 0.05%.cm (Cameroon)
3 0.05%.za (South Africa)
20 0.04%.tr (Turkey)
34 0.04%.hu (Hungary)
42 0.04%.cn (China)
14 0.03%.ng (Nigeria)
13 0.03%.il (Israel)
3 0.03%.ug (Uganda)
5 0.03%.uz (Uzbekistan)
14 0.03%.py (Paraguay)
22 0.03%.cz (Czech Republic)
13 0.02%.nz (New Zealand)
18 0.02%.ca (Canada)
8 0.02%.ie (Ireland)
6 0.02%.ua (Ukraine)
3 0.02%.be (Belgium)
2 0.02%.zw (Zimbabwe)
17 0.02%.ar (Argentina)
3 0.01%.jo (Jordan)
8 0.01%.uy (Uruguay)
9 0.01%.kh (Cambodia)
3 0.01%.my (Malaysia)
3 0.01%.lt (Lithuania)
2 0.01%.kg (Kyrgyzstan)
5 0.01%.kr (South Korea)
7 0.01%.no (Norway)
9 0.01%.dk (Denmark)
4 0.01%.sk (Slovakia)
1 .info (Informational)
10 .cy (Cyprus)
3 .id (Indonesia)
1 .fi (Finland)
3 .al (Albania)
1 .ee (Estonia)
1 .md (Moldova)
2 .bg (Bulgaria)
2 .hr (Croatia)
2 .cl (Chile)
1 .mk (Macedonia (Former Yugoslav Republic))
2 .biz (Businesses)
3 .ly (Libya)
1 .st (Saint Tome and Principe)

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
177729.27%cam.ac.uk
1589 9.86%msn.com
1403 1.83%your-server.de
1110 5.78%baidu.com
517 3.80%amazonaws.com
398 2.08%[unknown domain]
359 1.17%plus.com
353 0.77%41
336 1.59%117
335 1.36%[domain not given]
198 1.19%unt.edu
198 0.92%yandex.com
197 0.38%mail.ru
183 page2rss.com
172 0.22%comcast.net
165 1.29%twttr.com
165 2.04%opera-mini.net
142 0.26%prod-infinitum.com.mx
123 sogou.com
121 0.70%106
767335.46%[not listed: 908 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
233software
205engineering
181pdf
165notes
43in
27computer
25for
25download
24and
23of
20http://www.cl.cam.ac.uk/~lp15/papers/notes/se
20i.pdf
15on
15free
13theory
11a
11set
11lecture
10diploma
10bca
9book
9science
7ii
7hindi
7file
6softwareengineeing
6books
6designing
6programming
5ar.pdf
504[not listed: 274 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
147402034OS unknown
223541283Known robots
361711216Windows
 5216951  Unknown Windows
 902247  Windows XP
 208  Windows 2000
 257  Windows NT
 32  Windows 98
 51  Windows Server 2003
42564816Macintosh
51643450Unix
 1623445  Linux
 144  Other Unix
 61  BSD
6100Symbian 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
13010200 OK
3631206 Partial content
113301 Document moved permanently
873304 Not modified since last retrieval
155403 Access forbidden
539404 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
0937 
1B- 10B8 
11B- 100B3 
101B- 1kB236 
1kB- 10kB3431 0.24%
10kB-100kB6960 4.49%
100kB- 1MB530435.38%
1MB- 10MB56525.70%
10MB-100MB7034.19%

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
954256.84%.pdf [Adobe Portable Document Format]
28431.18%.gz [Gzip compressed files]
17530.98%  .tar.gz [Compressed archives]
66 9.40%.tbz
1004 1.00%.jpg [JPEG graphics]
5 0.58%.zip [Zip archives]
3863 0.51%[directories]
1944 0.27%.html [Hypertext Markup Language]
806 0.23%[not listed: 8 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
268615.74%29/Jun/15 10:00/~lp15/papers/Notes/SE-I.pdf
938 0.14%29/Jun/15 10:35/~lp15/
682 2.47%29/Jun/15 08:19/~lp15/papers/Reports/equivclasses-slides.pdf
440 0.51%28/Jun/15 23:16/~lp15/images/larry-home-small.jpg
438 0.02%29/Jun/15 06:20/~lp15/MLbook/
431 0.37%28/Jun/15 23:16/~lp15/images/acm-logo.jpg
413 2.89%29/Jun/15 10:35/~lp15/papers/Formath/Goedel-ar.pdf
340 0.10%29/Jun/15 10:55/~lp15/papers/refereed.html
280 0.63%28/Jun/15 16:22/~lp15/papers/Notes/Founds-FP.pdf
242 5.20%29/Jun/15 07:24/~lp15/papers/Reports/thesis.pdf
219 0.03%29/Jun/15 06:54/~lp15/papers/Arith/
163 0.41%29/Jun/15 07:46/~lp15/papers/Reports/fleuriot-kepler.pdf
153 0.03%29/Jun/15 10:39/~lp15/papers/Formath/
152 29/Jun/15 10:09/~lp15/MLbook/programs/
120 0.56%27/Jun/15 06:49/~lp15/papers/Auth/jcs.pdf
119 0.02%28/Jun/15 10:36/~lp15/Pages/Scream.html
117 0.22%29/Jun/15 01:53/~lp15/papers/Isabelle/aisc98.pdf
115 0.02%29/Jun/15 02:32/~lp15/papers/Auth/
114 0.02%29/Jun/15 08:29/~lp15/Sue/
108 0.10%29/Jun/15 08:50/~lp15/papers/Reports/mutil.pdf
105 0.01%29/Jun/15 05:50/~lp15/papers/Automation/
100 2.99%28/Jun/15 21:56/~lp15/Sue/Thesis.pdf
98 0.01%29/Jun/15 10:06/~lp15/papers/
13 28/Jun/15 20:41  /~lp15/papers/?C=N;O=A
95 28/Jun/15 10:52/~lp15/MLbook/exercises/
88 0.29%29/Jun/15 05:33/~lp15/papers/Reports/equivclasses.pdf
86 0.30%29/Jun/15 08:08/~lp15/papers/Bella/smartcards-jcs.pdf
84 0.01%29/Jun/15 06:46/~lp15/papers/lecture-courses.html
82 0.20%29/Jun/15 02:29/~lp15/papers/Auth/tls.pdf
81 0.01%26/Jun/15 15:48/~lp15/papers/Reports/
80 0.01%29/Jun/15 08:34/~lp15/archive/
80 0.32%27/Jun/15 22:05/~lp15/papers/Formath/set-I.pdf
78 0.02%27/Jun/15 23:19/~lp15/Grants/SET/
77 0.13%29/Jun/15 06:04/~lp15/papers/Formath/Goedel-logic.pdf
77 1.36%26/Jun/15 18:07/~lp15/papers/Notes/LCF+.pdf
76 0.01%26/Jun/15 15:04/~lp15/Grants/LEO-II/
72 28/Jun/15 19:54/~lp15/Pages/cv.html
68 0.01%29/Jun/15 01:23/~lp15/papers/workshop.html
67 0.13%25/Jun/15 15:07/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
67 0.11%28/Jun/15 19:55/~lp15/Pages/vita.pdf
66 29/Jun/15 10:09/~lp15/MLbook/programs/sample2.sml
66 0.01%28/Jun/15 19:53/~lp15/Grants/AutoPolyFun/
64 0.08%27/Jun/15 22:33/~lp15/Usage/
61 25/Jun/15 06:08/~lp15/papers/Notes/
61 0.14%29/Jun/15 01:23/~lp15/papers/Auth/multicast_verification.pdf
61 0.08%29/Jun/15 06:45/~lp15/papers/Auth/SET-overview-2002.pdf
61 0.01%27/Jun/15 14:03/~lp15/papers/Workshop/
61 28/Jun/15 08:47/~lp15/MLbook/pub-details.html
60 0.02%28/Jun/15 07:25/~lp15/Grants/UNITY/
59 28/Jun/15 12:36/~lp15/papers/Bella/
58 28/Jun/15 05:03/~lp15/Grants/
58 0.12%28/Jun/15 20:27/~lp15/papers/Automation/meng-termination.pdf
57 1.61%29/Jun/15 08:20/~lp15/papers/Formath/Goedel-slides.pdf
57 29/Jun/15 09:36/~lp15/Pages/projects.html
56 28/Jun/15 06:03/~lp15/Pages/
56 0.10%28/Jun/15 15:56/~lp15/papers/Isabelle/chap700.pdf
55 0.11%28/Jun/15 15:58/~lp15/papers/Notes/strategy.pdf
55 7.19%29/Jun/15 02:06/~lp15/archive/Isabelle2013-2.tar.gz
54 0.01%28/Jun/15 15:56/~lp15/papers/Isabelle/
53 0.06%28/Jun/15 15:29/~lp15/papers/Auth/yahalom.pdf
52 27/Jun/15 05:38/~lp15/papers/Reviews/
52 0.01%28/Jun/15 20:24/~lp15/MLbook/programs/sample5.sml
51 28/Jun/15 21:16/~lp15/papers/UNITY/
51 0.02%28/Jun/15 11:05/~lp15/Sue/Sue Paulson.jpg
51 0.13%29/Jun/15 03:06/~lp15/papers/Reports/TPHOLs05.pdf
50 0.01%29/Jun/15 10:09/~lp15/MLbook/programs/sample3.sml
49 26/Jun/15 10:04/~lp15/papers/Ballarin/
48 26/Jun/15 20:52/~lp15/MLbook/general.html
48 28/Jun/15 14:24/~lp15/papers/Arith/download.html
48 0.11%28/Jun/15 05:44/~lp15/papers/Formath/AC.pdf
48 26/Jun/15 13:22/~lp15/images/
48 0.03%28/Jun/15 17:30/~lp15/papers/Reviews/construct.pdf
48 0.02%27/Jun/15 08:35/~lp15/Usage/images/
48 29/Jun/15 03:42/~lp15/Grants/Automation/
47 0.05%26/Jun/15 23:03/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
47 1.04%28/Jun/15 15:33/~lp15/papers/Auth/lics-slides.pdf
46 0.10%25/Jun/15 06:00/~lp15/papers/Reports/blast.pdf
46 0.09%26/Jun/15 17:11/~lp15/papers/Workshop/papers/voelker.pdf
46 0.09%27/Jun/15 22:03/~lp15/papers/Automation/paar.pdf
45 0.15%26/Jun/15 19:08/~lp15/papers/Formath/Goedel-logic-mine.pdf
44 29/Jun/15 10:12/~lp15/papers/Deduction/
44 26/Jun/15 20:55/~lp15/MLbook/review.html
44 0.01%28/Jun/15 13:02/~lp15/MLbook/ERRATA.html
44 0.13%29/Jun/15 01:12/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
44 0.09%26/Jun/15 21:48/~lp15/Grants/AutoPolyFun/case.pdf
43 0.01%28/Jun/15 17:55/~lp15/papers/invited.html
43 29/Jun/15 06:32/~lp15/papers/books.html
43 0.15%27/Jun/15 19:50/~lp15/papers/Bella/accountability.pdf
43 0.14%27/Jun/15 07:03/~lp15/papers/UNITY/Mechanizing-compositional.pdf
41 0.11%27/Jun/15 04:33/~lp15/papers/Arith/SNC2014-invited.pdf
41 28/Jun/15 05:47/~lp15/papers/hol.html
40 0.09%29/Jun/15 02:03/~lp15/papers/Bella/nonrepudiation.pdf
40 25/Jun/15 16:36/~lp15/papers/recur.html
39 26/Jun/15 18:03/~lp15/Grants/BeyondLinArith/
39 0.02%28/Jun/15 19:54/~lp15/images/pilkington.jpg
39 0.06%28/Jun/15 14:52/~lp15/papers/Arith/Narayanan DATE.pdf
39 0.10%28/Jun/15 18:50/~lp15/papers/Bella/registration.pdf
38 0.09%28/Jun/15 15:16/~lp15/papers/UNITY/ehmety-composition.pdf
38 0.32%28/Jun/15 21:49/~lp15/papers/Bella/purchase-JAR.pdf
38 0.39%25/Jun/15 09:38/~lp15/papers/Notes/formalizing-abst-slides.pdf
38 0.26%28/Jun/15 16:56/~lp15/papers/Arith/MetiTarski-jar.pdf
38 0.09%29/Jun/15 01:48/~lp15/papers/Arith/fmcad2009.pdf
37 0.01%26/Jun/15 17:47/~lp15/Pages/ACS-proposals.html
37 0.27%29/Jun/15 07:11/~lp15/Pages/Munich-slides.pdf
37 0.01%25/Jun/15 17:13/~lp15/MLbook/exercises/exer2.html
36 0.09%28/Jun/15 13:55/~lp15/papers/Formath/automata.pdf
36 0.10%29/Jun/15 02:05/~lp15/papers/Isabelle/coding.pdf
36 0.10%27/Jun/15 12:33/~lp15/papers/Arith/Hscc09.pdf
35 27/Jun/15 23:59/~lp15/Pages/CL-English.html
35 0.01%28/Jun/15 03:06/~lp15/MLbook/programs/sample10.sml
35 0.89%28/Jun/15 02:07/~lp15/Sue/Phd-Poster.pdf
35 0.20%27/Jun/15 22:45/~lp15/papers/Arith/calculemus2008.pdf
35 0.01%29/Jun/15 10:50/~lp15/MLbook/programs/sample4.sml
35 0.06%28/Jun/15 15:09/~lp15/papers/Auth/lics.pdf
35 0.01%29/Jun/15 02:02/~lp15/MLbook/exercises/exer8.html
35 28/Jun/15 06:24/~lp15/Data/relevance/
34 28/Jun/15 15:27/~lp15/MLbook/programs/ROOT.sml
34 0.45%26/Jun/15 02:06/~lp15/papers/Reports/TypeClasses-slides.pdf
34 28/Jun/15 23:23/~lp15/papers/Arith/qepcad-for-mac.html
33 0.01%28/Jun/15 18:22/~lp15/MLbook/programs/sample8.sml
33 0.01%28/Jun/15 16:50/~lp15/MLbook/programs/sample9.sml
33 0.10%29/Jun/15 06:22/~lp15/papers/Automation/translations.pdf
33 0.17%27/Jun/15 21:07/~lp15/papers/Automation/reconstruction.pdf
32 0.01%27/Jun/15 14:14/~lp15/MLbook/exercises/exer3.html
32 27/Jun/15 06:38/~lp15/Data/ho-translations/
32 0.01%28/Jun/15 22:13/~lp15/MLbook/exercises/exer4.html
32 0.02%29/Jun/15 08:34/~lp15/papers/paulson.bib
32 29/Jun/15 09:47/~lp15/MLbook/disclaimer.html
32 26/Jun/15 04:28/~lp15/MLbook/first/programs/
32 0.01%29/Jun/15 01:22/~lp15/MLbook/exercises/exer6.html
32 0.11%26/Jun/15 15:18/~lp15/papers/Formath/reflection-slides.pdf
32 0.28%26/Jun/15 07:28/~lp15/papers/Automation/info-and-comp.pdf
31 0.13%27/Jun/15 02:43/~lp15/papers/Automation/translations-jar.pdf
31 0.12%26/Jun/15 07:35/~lp15/papers/Automation/filtering.pdf
31 0.03%27/Jun/15 10:16/~lp15/Grants/LEO-II/leo2-case.pdf
31 0.06%28/Jun/15 16:03/~lp15/papers/Automation/leo2-ijcar.pdf
31 0.06%27/Jun/15 23:55/~lp15/papers/Arith/ITP-2012-invited.pdf
30 0.01%28/Jun/15 21:41/~lp15/images/larry-paulson.jpg
30 0.11%26/Jun/15 11:43/~lp15/papers/Notes/MOD-slides.pdf
30 0.20%29/Jun/15 10:31/~lp15/papers/Reports/intro-to-isabelle.pdf
30 26/Jun/15 22:17/~lp15/MLbook/first/
30 0.06%28/Jun/15 10:26/~lp15/papers/Bella/purchase.pdf
30 0.24%26/Jun/15 13:07/~lp15/papers/Arith/Sogokon-nfm14.pdf
30 0.11%26/Jun/15 16:25/~lp15/papers/Formath/set-II.pdf
29 0.01%29/Jun/15 02:07/~lp15/MLbook/programs/sample7.sml
29 0.01%29/Jun/15 01:21/~lp15/MLbook/exercises/exer7.html
29 0.10%28/Jun/15 00:07/~lp15/papers/Arith/cicm2012.pdf
28 27/Jun/15 20:49/~lp15/MLbook/programs/notes.html
28 0.11%27/Jun/15 17:46/~lp15/papers/Auth/SET-overview-IJIS.pdf
28 25/Jun/15 06:08/~lp15/papers/OLD.SETS/
27 0.06%28/Jun/15 00:05/~lp15/papers/Workshop/papers/owens.pdf
27 0.09%28/Jun/15 19:30/~lp15/papers/Isabelle/sylow.pdf
27 0.09%27/Jun/15 16:06/~lp15/papers/Bella/certified-email.pdf
27 0.28%25/Jun/15 06:00/~lp15/papers/Bella/TPHOLs03-slides.pdf
26 0.01%29/Jun/15 10:38/~lp15/MLbook/programs/test10.sml
26 0.01%28/Jun/15 23:10/~lp15/MLbook/first/programs/Lists-Trees.ML
26 0.06%28/Jun/15 23:56/~lp15/papers/Arith/case-splitting.pdf
26 0.03%29/Jun/15 08:02/~lp15/Sue/Cultures of Dance.ppt
26 28/Jun/15 23:36/~lp15/Grants/holisa.html
26 25/Jun/15 16:36/~lp15/papers/Arith/atan-problem-1-weak.html
26 0.08%28/Jun/15 17:38/~lp15/papers/Bella/esorics2000.pdf
25 25/Jun/15 16:37/~lp15/papers/Workshop/matthews.html
25 0.01%28/Jun/15 22:07/~lp15/Grants/SET/case.pdf
25 0.04%26/Jun/15 01:29/~lp15/Grants/Automation/final.pdf
25 0.10%26/Jun/15 09:14/~lp15/papers/UNITY/composition.pdf
25 0.09%26/Jun/15 20:31/~lp15/papers/Arith/Huang-3heuristics.pdf
25 0.01%27/Jun/15 02:44/~lp15/Grants/UNITY/case.pdf
25 28/Jun/15 07:38/~lp15/papers/Workshop/participants.html
24 0.05%27/Jun/15 17:13/~lp15/papers/Bella/esorics98.pdf
24 0.01%25/Jun/15 06:00/~lp15/papers/Formath/AC-slides.pdf
24 0.05%28/Jun/15 08:28/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
24 27/Jun/15 07:01/~lp15/MLbook/first/ERRATA1.txt
24 27/Jun/15 05:56/~lp15/Grants/Chaieb.html
23 0.01%26/Jun/15 15:26/~lp15/MLbook/first/ML-syntax.ps.gz
23 0.04%28/Jun/15 16:40/~lp15/papers/Workshop/papers/ayari.pdf
23 0.01%29/Jun/15 01:59/~lp15/papers/Reviews/MLer.pdf
23 0.01%27/Jun/15 04:39/~lp15/MLbook/exercises/exer5.html
23 25/Jun/15 16:37/~lp15/papers/Workshop/thompson.html
23 0.08%23/Jun/15 11:59/~lp15/papers/Workshop/papers/vigano.pdf
22 25/Jun/15 06:30/~lp15/Grants/arith.html
22 28/Jun/15 05:15/~lp15/tmp/
22 21/Jun/15 22:58/~lp15/MLbook/programs/sample8-old.sml
22 0.11%25/Jun/15 06:01/~lp15/papers/Automation/filtering-jal.pdf
22 0.03%25/Jun/15 06:03/~lp15/papers/Arith/Overcoming.pdf
22 26/Jun/15 15:15/~lp15/Grants/temporal.html
22 0.02%26/Jun/15 11:24/~lp15/papers/Reports/CADE9.pdf
22 0.10%29/Jun/15 07:59/~lp15/papers/Formath/constructible-slides.pdf
22 26/Jun/15 12:46/~lp15/papers/Workshop/futures.html
22 29/Jun/15 05:28/~lp15/MLbook/programs/sample3-old.sml
21 27/Jun/15 23:20/~lp15/papers/Workshop/agerholm.html
21 0.03%26/Jun/15 08:16/~lp15/papers/Auth/recur-slides.pdf
21 0.07%27/Jun/15 13:21/~lp15/papers/Formath/reflection.pdf
21 0.02%26/Jun/15 10:12/~lp15/papers/Workshop/ayari.pdf
20 0.04%25/Jun/15 16:48/~lp15/papers/Formath/final.pdf
20 0.06%27/Jun/15 14:04/~lp15/papers/Arith/case-splitting-stats.csv
20 29/Jun/15 02:47/~lp15/MLbook/programs/sample8-2004.sml
20 29/Jun/15 06:27/~lp15/papers/Workshop/paulson.html
20 0.09%28/Jun/15 21:39/~lp15/papers/Workshop/papers/bednarczyk.pdf
20 0.28%26/Jun/15 07:37/~lp15/papers/Automation/reconstruction-slides.pdf
20 0.03%25/Jun/15 06:00/~lp15/papers/Arith/pdpar2006.pdf
19 0.12%26/Jun/15 22:25/~lp15/papers/Reports/Bridge-ml.pdf
19 28/Jun/15 20:59/~lp15/Grants/auth.html
19 0.03%25/Jun/15 06:06/~lp15/papers/Notes/leeds-notes.pdf
19 0.04%29/Jun/15 01:16/~lp15/papers/Automation/IJCAR2004.pdf
19 0.01%25/Jun/15 06:03/~lp15/papers/Arith/NFM2014-invited.pdf
19 27/Jun/15 01:21/~lp15/MLbook/first/programs/Functions.ML
19 27/Jun/15 19:47/~lp15/MLbook/programs/sample9-2004.sml
19 1.50%26/Jun/15 02:52/~lp15/papers/Arith/FroCos-presentation.pdf
19 24/Jun/15 12:41/~lp15/MLbook/exercises/disclaimer.html
19 27/Jun/15 02:47/~lp15/MLbook/first/programs/Imperative.ML
18 0.02%25/Jun/15 06:02/~lp15/papers/Notes/strategy-slides.pdf
18 24/Jun/15 17:16/~lp15/papers/Workshop/heule.html
18 0.03%28/Jun/15 06:13/~lp15/papers/Bella/cav98.pdf
18 0.04%29/Jun/15 05:27/~lp15/papers/UNITY/tphols01.pdf
18 0.04%29/Jun/15 10:10/~lp15/papers/Bella/dimacs97.pdf
18 0.03%27/Jun/15 04:31/~lp15/papers/Auth/security-protocols.pdf
18 0.34%25/Jun/15 06:02/~lp15/papers/Auth/ijcar2001-slides.pdf
17 25/Jun/15 16:37/~lp15/papers/Workshop/kalvala.html
17 25/Jun/15 16:37/~lp15/papers/Workshop/staples.html
17 0.31%27/Jun/15 11:59/~lp15/papers/Auth/dagstuhl2001-slides.pdf
17 0.03%29/Jun/15 00:55/~lp15/papers/Workshop/papers/benini.pdf
17 0.25%26/Jun/15 02:29/~lp15/Grants/Automation/poster.pdf
17 0.06%25/Jun/15 04:37/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
17 0.04%27/Jun/15 06:05/~lp15/papers/Arith/lpar2007.pdf
17 27/Jun/15 12:57/~lp15/Grants/SET/final.pdf
17 0.01%28/Jun/15 21:34/~lp15/MLbook/programs/sample10-old.sml
17 0.02%25/Jun/15 19:46/~lp15/Grants/Automation/case.pdf
17 0.04%25/Jun/15 20:18/~lp15/papers/Automation/jar-smt.pdf
17 0.02%28/Jun/15 16:10/~lp15/papers/Workshop/vigano.pdf
17 0.02%26/Jun/15 07:49/~lp15/papers/Reports/CADE11.pdf
17 0.14%25/Jun/15 06:02/~lp15/papers/Auth/SET-overview-slides.pdf
17 17/Jun/15 15:57/~lp15/MLbook/StandardML.plist
17 0.52%25/Jun/15 06:04/~lp15/papers/Arith/SNC2014-slides.pdf
17 0.18%25/Jun/15 06:04/~lp15/papers/Arith/NFM2014-slides.pdf
17 0.55%25/Jun/15 06:04/~lp15/Sue/Thesis-Appendices.pdf
17 29/Jun/15 00:27/~lp15/papers/Workshop/programme.html
17 0.07%24/Jun/15 18:08/~lp15/papers/Workshop/papers/kammueller.pdf
16 0.02%27/Jun/15 21:33/~lp15/papers/Workshop/front.pdf
16 0.02%27/Jun/15 04:47/~lp15/papers/Arith/FroCoS-2013-invited.pdf
16 0.03%29/Jun/15 10:53/~lp15/papers/Workshop/papers/staples.pdf
16 0.02%28/Jun/15 18:47/~lp15/papers/Auth/auth-slides.pdf
16 0.10%28/Jun/15 09:42/~lp15/papers/Auth/tls-slides.pdf
16 0.15%15/Jun/15 17:45/~lp15/papers/Deduction/lecture1.pdf
16 0.09%27/Jun/15 14:56/~lp15/papers/UNITY/UNITY.pdf
16 0.15%25/Jun/15 06:06/~lp15/papers/Deduction/lecture3.pdf
16 0.03%25/Jun/15 11:53/~lp15/papers/Formath/constructible-abstract.pdf
16 0.09%27/Jun/15 10:10/~lp15/papers/Workshop/papers/rasmussen.pdf
16 0.04%28/Jun/15 16:57/~lp15/papers/Automation/thf-sledge.pdf
16 0.04%26/Jun/15 20:56/~lp15/papers/Ballarin/coding.pdf
16 28/Jun/15 02:12/~lp15/papers/Workshop/wolff.html
15 0.16%28/Jun/15 13:17/~lp15/papers/Formath/constructible-theory.pdf
15 27/Jun/15 03:16/~lp15/MLbook/first/programs/Lambda.ML
15 0.14%28/Jun/15 03:11/~lp15/Grants/BeyondLinArith/arith-case.pdf
15 0.03%14/Jun/15 02:50/~lp15/papers/Workshop/papers/kalvala-linear.pdf
15 0.92%28/Jun/15 22:20/~lp15/papers/Arith/ITP 2012 presentation.pdf
15 0.73%25/Jun/15 06:03/~lp15/papers/Arith/Overcoming-slides.pdf
15 0.09%25/Jun/15 06:05/~lp15/papers/Reports/logics97.pdf
15 0.03%25/Jun/15 06:02/~lp15/papers/Auth/ijcar2001.pdf
15 28/Jun/15 14:51/~lp15/Sue/Cultures of Dance.html
14 0.19%25/Jun/15 08:39/~lp15/papers/Reports/TypeClasses.pdf
14 0.07%28/Jun/15 21:33/~lp15/papers/Auth/SET-document.pdf
14 0.03%26/Jun/15 10:12/~lp15/papers/Workshop/papers/thompson.pdf
14 0.11%28/Jun/15 00:23/~lp15/papers/Isabelle/Goedel-ar.pdf
14 0.24%25/Jun/15 06:00/~lp15/papers/Arith/metit-slides.pdf
14 0.02%24/Jun/15 23:50/~lp15/papers/Ballarin/aisc98.pdf
14 0.03%25/Jun/15 06:01/~lp15/papers/Automation/cade2011-sledge-smt.pdf
13 27/Jun/15 06:31/~lp15/MLbook/first/ERRATA3.txt
13 0.03%27/Jun/15 05:55/~lp15/Grants/Chaieb-case.pdf
13 27/Jun/15 12:34/~lp15/MLbook/first/programs/Modules.ML
13 0.04%25/Jun/15 16:40/~lp15/papers/Formath/milner-ind-defs.pdf
12 25/Jun/15 16:37/~lp15/papers/Workshop/nipkow.html
12 25/Jun/15 06:00/~lp15/papers/Formath/ind-defs-slides.pdf
12 0.43%28/Jun/15 06:04/~lp15/Grants/LEO-II/leo project poster.pdf
12 0.09%25/Jun/15 06:03/~lp15/papers/Automation/Huet colloquium.pdf
12 0.10%25/Jun/15 17:45/~lp15/papers/Deduction/lecture2.pdf
12 0.01%20/Jun/15 00:42/~lp15/papers/Workshop/friedrich.pdf
12 0.01%25/Jun/15 06:00/~lp15/papers/Reports/blast-slides.pdf
11 28/Jun/15 15:30/~lp15/MLbook/first/programs/ParsePrint.ML
11 0.03%26/Jun/15 01:28/~lp15/Pages/harrison-real.pdf
11 2.50%17/Jun/15 21:37/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
11 27/Jun/15 23:39/~lp15/papers/Arith/RELEASE-NOTES.txt
11 0.01%26/Jun/15 15:19/~lp15/papers/Workshop/kammueller.pdf
11 0.03%25/Jun/15 10:59/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
11 26/Jun/15 18:57/~lp15/MLbook/ERRATA.txt
10 0.01%25/Jun/15 06:04/~lp15/Sue/Cultures of Dance.pdf
10 0.06%25/Jun/15 00:19/~lp15/images/pilkington-full.jpg
10 19/Jun/15 08:03/~lp15/Grants/BeyondLinArith/auth-final.pdf
10 0.04%26/Jun/15 01:35/~lp15/papers/Workshop/papers/paulson.pdf
10 0.02%22/Jun/15 10:56/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
10 0.09%18/Jun/15 04:25/~lp15/Grants/arith-case.pdf
10 27/Jun/15 04:36/~lp15/MLbook/first/programs/Hal.ML
10 0.26%24/Jun/15 08:26/~lp15/Grants/arith-poster.pdf
10 0.03%26/Jun/15 14:51/~lp15/papers/Workshop/papers/agerholm.pdf
9 0.03%20/Jun/15 21:37/~lp15/papers/Workshop/papers/nipkow.pdf
9 28/Jun/15 06:12/~lp15/SpryAssets/
9 0.12%25/Jun/15 06:01/~lp15/papers/Isabelle/Cube-presentation.pdf
9 0.04%17/Jun/15 16:17/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 0.12%27/Jun/15 17:35/~lp15/papers/Auth/dagstuhl2003-slides.pdf
8 0.12%22/Jun/15 20:05/~lp15/papers/Reports/popl82.pdf
8 19/Jun/15 00:58/~lp15/Grants/UNITY/final.pdf
8 0.24%25/Jun/15 06:02/~lp15/Grants/BeyondLinArith/arith-poster.pdf
8 0.01%27/Jun/15 15:29/~lp15/papers/Isabelle/Goedel-logic.pdf
8 0.56% 9/Jun/15 18:49/~lp15/Data/ho-translations/Abst.tbz
8 27/Jun/15 14:20/~lp15/Templates/
8 0.04%20/Jun/15 13:35/~lp15/papers/OLD.SETS/constructible-slides.pdf
8 2.86% 9/Jun/15 21:26/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8  9/Jun/15 21:21/~lp15/Data/ho-translations/Theories.tbz
8 2.92% 9/Jun/15 21:21/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
8 25/Jun/15 03:39/~lp15/Grants/temporal-final.pdf
7 0.52% 9/Jun/15 21:20/~lp15/Data/ho-translations/Comb.tbz
7 0.02%19/Jun/15 07:56/~lp15/papers/OLD.SETS/reflection.pdf
7  9/Jun/15 18:48/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
7 3.83%19/Jun/15 20:34/~lp15/archive/Isabelle2014.tar.gz
7 0.03%29/Jun/15 06:10/~lp15/papers/Reports/lamport-paulson-types.pdf
6 0.03%14/Jun/15 17:14/~lp15/papers/OLD.SETS/set-I.pdf
6 0.01%17/Jun/15 00:56/~lp15/papers/OLD.SETS/final.pdf
6 14/Jun/15 04:25/~lp15/MLbook/first/answers8.txt.gz
6 26/Jun/15 05:19/~lp15/papers/Workshop/owens.txt
6 0.37%27/Jun/15 11:37/~lp15/papers/Isabelle/Goedel-slides.pdf
6 28/Jun/15 16:26/~lp15/Grants/auth-final.pdf
6 0.01% 8/Jun/15 23:10/~lp15/papers/Workshop/papers/matthews.pdf
6 14/Jun/15 17:14/~lp15/papers/OLD.SETS/ind-defs-slides.pdf
6 0.03%18/Jun/15 07:11/~lp15/papers/OLD.SETS/reflection-slides.pdf
6 14/Jun/15 17:14/~lp15/papers/OLD.SETS/AC-slides.pdf
6 0.02%15/Jun/15 23:57/~lp15/papers/OLD.SETS/AC.pdf
6 0.06%10/Jun/15 11:08/~lp15/papers/Deduction/lecture4.pdf
6 14/Jun/15 14:37/~lp15/Data/relevance/unfiltered-spass.txt
6 0.73%19/Jun/15 20:34/~lp15/archive/Isabelle2008.tar.gz
6 0.03%14/Jun/15 17:12/~lp15/papers/OLD.SETS/set-II.pdf
6 14/Jun/15 04:25/~lp15/MLbook/first/ERRATA2.txt
24720.10%29/Jun/15 10:06[not listed: 68 files]