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

Program started at Mon-27-Jul-2015 13:48.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-27-Jul-2015 13:40 (263.94 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 27-Jul-2015 13:48.

Successful requests: 15,317 (3,873)
Average successful requests per day: 58 (553)
Successful requests for pages: 5,524 (1,540)
Average successful requests for pages per day: 20 (219)
Failed requests: 625 (149)
Redirected requests: 108 (23)
Distinct files requested: 451 (342)
Distinct hosts served: 3,005 (886)
Unwanted logfile entries: 11,281
Data transferred: 4.58 gigabytes (858.41 megabytes)
Average data transferred per day: 17.78 megabytes (122.63 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 
Sun1973651+++++++++++++++++++++++++++++++++
Mon2507939+++++++++++++++++++++++++++++++++++++++++++++++
Tue2495730+++++++++++++++++++++++++++++++++++++
Wed2075816+++++++++++++++++++++++++++++++++++++++++
Thu1821630++++++++++++++++++++++++++++++++
Fri2255934+++++++++++++++++++++++++++++++++++++++++++++++
Sat2191824++++++++++++++++++++++++++++++++++++++++++

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
543338.24%.com (Commercial)
453233.29%[unresolved numerical addresses]
1199 9.09%.net (Networks)
253 4.82%[unknown domain]
1255 2.95%.de (Germany)
308 1.50%.it (Italy)
309 1.40%.uk (United Kingdom)
214 1.32%.in (India)
334 1.17%[domain not given]
122 0.81%.gov (USA Government)
70 0.50%.jp (Japan)
41 0.45%.fr (France)
145 0.30%.edu (USA Higher Education)
34 0.28%.org (Non Profit Making Organisations)
23 0.27%.ir (Iran)
32 0.25%.au (Australia)
53 0.23%.cn (China)
107 0.21%.br (Brazil)
133 0.21%.ru (Russia)
26 0.18%.ca (Canada)
22 0.17%.za (South Africa)
19 0.16%.nl (Netherlands)
27 0.14%.pl (Poland)
21 0.13%.ke (Kenya)
15 0.12%.ro (Romania)
3 0.11%.jo (Jordan)
21 0.11%.th (Thailand)
24 0.11%.sg (Singapore)
22 0.09%.vn (Vietnam)
33 0.09%.ch (Switzerland)
15 0.09%.pk (Pakistan)
12 0.09%.tw (Taiwan)
56 0.08%.at (Austria)
38 0.08%.es (Spain)
18 0.08%.tr (Turkey)
6 0.08%.eg (Egypt)
6 0.06%.cm (Cameroon)
27 0.06%.uy (Uruguay)
16 0.05%.zw (Zimbabwe)
7 0.05%.uz (Uzbekistan)
23 0.04%.se (Sweden)
12 0.04%.co (Colombia)
17 0.04%.il (Israel)
21 0.04%.am (Armenia)
4 0.04%.ng (Nigeria)
16 0.04%.mv (Maldives)
3 0.04%.gh (Ghana)
2 0.04%.ls (Lesotho)
5 0.02%.id (Indonesia)
38 0.02%.gr (Greece)
4 0.02%.my (Malaysia)
22 0.02%.mx (Mexico)
1 0.02%.ug (Uganda)
2 0.02%.be (Belgium)
1 0.02%.ni (Nicaragua)
12 0.01%.hu (Hungary)
2 0.01%.hk (Hong Kong)
13 0.01%.pt (Portugal)
3 0.01%.al (Albania)
6 0.01%.ua (Ukraine)
9 0.01%.ar (Argentina)
1 0.01%.cf (Central African Republic)
11 0.01%.dk (Denmark)
3 0.01%.ve (Venezuela)
3 0.01%.ie (Ireland)
13 .cz (Czech Republic)
3 .ee (Estonia)
1 .hr (Croatia)
4 .nz (New Zealand)
4 .cy (Cyprus)
1 .bd (Bangladesh)
4 .mil (USA Military)
3 .pe (Peru)
6 .arpa (Arpanet)
2 .info (Informational)
1 .ad (Andorra)
2 .io (British Indian Ocean Territory)
1 .li (Liechtenstein)
2 .bg (Bulgaria)
2 .no (Norway)
1 .ly (Libya)
1 .ae (United Arab Emirates)
1 .tv (Tuvalu)

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
157610.75%msn.com
1082 6.86%baidu.com
832 1.39%your-server.de
440 4.54%amazonaws.com
40610.67%btcentralplus.com
397 2.13%117
360 0.08%188.143
334 1.17%[domain not given]
302 0.05%208.115
253 4.82%[unknown domain]
240 1.26%yandex.com
215 0.04%wowrack.com
207 0.25%cam.ac.uk
173 page2rss.com
166 1.00%41
149 8.34%185.53
149 0.26%t-ipconnect.de
138 1.19%5
134 2.21%opera-mini.net
132 0.95%sky.com
763242.03%[not listed: 878 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
213pdf
207software
193engineering
86notes
43equivalence
42set
41relation
33of
33for
25books
24in
20classes
19operation
16i.pdf
16computer
15system
15free
14car
14control
12on
12diploma
11programming
10https://www.cl.cam.ac.uk/~lp15/papers/notes/se
8andrew
8indian
8functional
8a
8book
8sogokon
7short
386[not listed: 189 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
140451951OS unknown
253601396Windows
 4287881  Unknown Windows
 1026498  Windows XP
 2811  Windows NT
 64  Windows 98
 111  Windows 2000
 11  Windows Server 2003
 10  Windows CE
319991078Known robots
42006638Macintosh
51867455Unix
 1837446  Linux
 235  BSD
 64  Other Unix
 10  SunOS

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
11464200 OK
3181206 Partial content
108301 Document moved permanently
672304 Not modified since last retrieval
3400 Bad request
134403 Access forbidden
488404 Document not found

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
0773 
1B- 10B4 
11B- 100B2 
101B- 1kB233 
1kB- 10kB3174 0.28%
10kB-100kB6239 5.02%
100kB- 1MB440238.04%
1MB- 10MB44226.47%
10MB-100MB4830.18%

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
799359.90%.pdf [Adobe Portable Document Format]
18025.73%.gz [Gzip compressed files]
13125.63%  .tar.gz [Compressed archives]
6411.49%.tbz
777 0.92%.jpg [JPEG graphics]
5 0.73%.zip [Zip archives]
3516 0.56%[directories]
2008 0.40%.html [Hypertext Markup Language]
503 0.11%.sml
271 0.16%[not listed: 7 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
197817.69%27/Jul/15 13:15/~lp15/papers/Notes/SE-I.pdf
879 0.17%27/Jul/15 13:38/~lp15/
672 2.71%26/Jul/15 22:42/~lp15/papers/Reports/equivclasses-slides.pdf
438 0.02%27/Jul/15 13:21/~lp15/MLbook/
356 0.16%27/Jul/15 12:34/~lp15/papers/refereed.html
354 4.90%27/Jul/15 12:47/~lp15/papers/Reports/thesis.pdf
346 0.36%27/Jul/15 12:59/~lp15/images/acm-logo.jpg
342 0.48%27/Jul/15 12:32/~lp15/images/larry-home-small.jpg
285 2.81%27/Jul/15 12:17/~lp15/papers/Formath/Goedel-ar.pdf
224 0.59%27/Jul/15 08:31/~lp15/papers/Notes/Founds-FP.pdf
191 0.04%27/Jul/15 06:08/~lp15/papers/Arith/
163 2.67%27/Jul/15 12:49/~lp15/Sue/Thesis.pdf
145 0.01%27/Jul/15 09:55/~lp15/MLbook/programs/
136 0.47%26/Jul/15 17:19/~lp15/papers/Reports/fleuriot-kepler.pdf
118 27/Jul/15 12:13/~lp15/MLbook/exercises/
112 0.02%26/Jul/15 21:53/~lp15/papers/Formath/
106 0.02%27/Jul/15 06:22/~lp15/papers/Automation/
105 0.03%27/Jul/15 06:57/~lp15/papers/Auth/
105 0.12%27/Jul/15 03:46/~lp15/papers/Reports/mutil.pdf
101 0.55%27/Jul/15 04:43/~lp15/papers/Auth/jcs.pdf
99 0.36%27/Jul/15 06:58/~lp15/papers/Reports/equivclasses.pdf
98 0.02%27/Jul/15 12:32/~lp15/Pages/Scream.html
87 0.01%27/Jul/15 01:57/~lp15/papers/Reports/
86 0.01%26/Jul/15 14:44/~lp15/papers/lecture-courses.html
81 0.27%27/Jul/15 03:50/~lp15/papers/Auth/tls.pdf
81 0.37%27/Jul/15 06:55/~lp15/papers/Formath/set-I.pdf
80 0.01%27/Jul/15 04:36/~lp15/papers/
13 26/Jul/15 09:19  /~lp15/papers/?C=N;O=A
71 0.01%27/Jul/15 04:16/~lp15/archive/
70 0.17%27/Jul/15 10:24/~lp15/papers/Isabelle/aisc98.pdf
69 0.01%26/Jul/15 06:55/~lp15/Sue/
69 0.01%26/Jul/15 09:19/~lp15/papers/Isabelle/
67 0.27%24/Jul/15 15:15/~lp15/Pages/Munich-slides.pdf
66 26/Jul/15 09:18/~lp15/Grants/
66 0.01%27/Jul/15 05:41/~lp15/MLbook/programs/sample2.sml
66 26/Jul/15 07:47/~lp15/MLbook/pub-details.html
66 0.01%26/Jul/15 09:19/~lp15/Grants/AutoPolyFun/
65 0.13%26/Jul/15 20:30/~lp15/Pages/vita.pdf
62 27/Jul/15 12:16/~lp15/MLbook/general.html
62 0.02%27/Jul/15 04:41/~lp15/Grants/SET/
61 0.09%27/Jul/15 06:28/~lp15/Usage/
61 1.60%23/Jul/15 08:50/~lp15/papers/Formath/Goedel-slides.pdf
61 0.01%26/Jul/15 09:19/~lp15/Grants/LEO-II/
60 0.01%26/Jul/15 06:54/~lp15/papers/workshop.html
59 26/Jul/15 20:30/~lp15/Pages/cv.html
58 27/Jul/15 09:29/~lp15/papers/Arith/download.html
57 26/Jul/15 15:18/~lp15/Pages/projects.html
55 0.18%26/Jul/15 13:33/~lp15/papers/Reports/TPHOLs05.pdf
55 0.01%26/Jul/15 06:55/~lp15/papers/hol.html
54 0.09%27/Jul/15 13:40/~lp15/papers/Auth/SET-overview-2002.pdf
54 1.63%27/Jul/15 11:32/~lp15/papers/Notes/LCF+.pdf
54 0.02%27/Jul/15 07:23/~lp15/MLbook/exercises/exer8.html
54 0.01%27/Jul/15 12:14/~lp15/MLbook/exercises/exer2.html
52 0.10%27/Jul/15 12:58/~lp15/papers/Formath/Goedel-logic.pdf
52 0.01%26/Jul/15 09:19/~lp15/papers/UNITY/
52 0.01%26/Jul/15 06:55/~lp15/MLbook/ERRATA.html
52 5.92%10/Jul/15 19:29/~lp15/archive/Isabelle2013-2.tar.gz
51 26/Jul/15 09:19/~lp15/Grants/BeyondLinArith/
51 0.16%27/Jul/15 10:50/~lp15/papers/Automation/meng-termination.pdf
50 0.01%26/Jul/15 06:54/~lp15/papers/books.html
50 0.01%27/Jul/15 00:27/~lp15/Grants/Automation/
48 0.01%27/Jul/15 03:42/~lp15/papers/invited.html
47 0.02%27/Jul/15 04:40/~lp15/Grants/UNITY/
46 26/Jul/15 06:55/~lp15/Pages/CL-English.html
46 0.15%27/Jul/15 07:23/~lp15/papers/Auth/multicast_verification.pdf
46 26/Jul/15 09:18/~lp15/MLbook/first/
46 0.13%27/Jul/15 11:05/~lp15/papers/Bella/registration.pdf
46 0.18%27/Jul/15 00:12/~lp15/papers/Bella/certified-email.pdf
45 0.01%27/Jul/15 08:33/~lp15/MLbook/review.html
45 26/Jul/15 09:19/~lp15/papers/Workshop/
44 0.07%24/Jul/15 15:47/~lp15/papers/Auth/yahalom.pdf
43 0.11%26/Jul/15 22:43/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
43 0.01%27/Jul/15 09:55/~lp15/MLbook/programs/sample3.sml
42 0.11%23/Jul/15 08:50/~lp15/papers/Formath/AC.pdf
41 0.01%26/Jul/15 21:07/~lp15/MLbook/programs/sample4.sml
41 26/Jul/15 06:55/~lp15/papers/recur.html
40 0.08%27/Jul/15 07:55/~lp15/papers/Arith/Narayanan DATE.pdf
40 0.25%26/Jul/15 12:54/~lp15/papers/Bella/smartcards-jcs.pdf
39 0.11%25/Jul/15 20:14/~lp15/papers/Workshop/papers/voelker.pdf
39 0.35%25/Jul/15 16:23/~lp15/papers/Arith/MetiTarski-jar.pdf
39 0.01%26/Jul/15 09:18/~lp15/MLbook/programs/sample5.sml
39 26/Jul/15 09:19/~lp15/Data/relevance/
38 0.01%27/Jul/15 08:08/~lp15/MLbook/exercises/exer4.html
38 0.12%27/Jul/15 07:58/~lp15/papers/Bella/nonrepudiation.pdf
38 0.17%26/Jul/15 14:04/~lp15/papers/Auth/SET-overview-IJIS.pdf
38 0.42%27/Jul/15 12:47/~lp15/papers/Bella/purchase-JAR.pdf
38 0.09%26/Jul/15 18:49/~lp15/papers/Automation/paar.pdf
37 0.02%26/Jul/15 09:18/~lp15/MLbook/exercises/exer3.html
37 0.10%27/Jul/15 00:37/~lp15/papers/UNITY/ehmety-composition.pdf
37 0.11%26/Jul/15 17:04/~lp15/papers/Formath/automata.pdf
37 0.02%27/Jul/15 07:22/~lp15/MLbook/exercises/exer6.html
37 0.16%26/Jul/15 18:12/~lp15/papers/UNITY/Mechanizing-compositional.pdf
37 0.05%27/Jul/15 01:42/~lp15/papers/Reports/CADE9.pdf
36 0.01%27/Jul/15 08:19/~lp15/MLbook/programs/sample7.sml
36 27/Jul/15 03:44/~lp15/papers/Bella/
36 1.11%27/Jul/15 13:34/~lp15/Sue/Phd-Poster.pdf
36 0.14%26/Jul/15 20:06/~lp15/papers/Arith/Huang-3heuristics.pdf
36 0.13%27/Jul/15 01:32/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
35 27/Jul/15 04:25/~lp15/papers/Deduction/
35 0.09%24/Jul/15 20:39/~lp15/papers/Reports/blast.pdf
35 26/Jul/15 09:19/~lp15/papers/Arith/qepcad-for-mac.html
35 0.02%24/Jul/15 12:59/~lp15/Sue/Sue Paulson.jpg
34 26/Jul/15 09:20/~lp15/Data/ho-translations/
34 0.01%26/Jul/15 13:08/~lp15/MLbook/programs/sample8.sml
34 26/Jul/15 09:18/~lp15/MLbook/programs/ROOT.sml
33 0.17%23/Jul/15 17:07/~lp15/papers/Reports/popl82.pdf
33 26/Jul/15 09:18/~lp15/MLbook/disclaimer.html
33 0.17%26/Jul/15 11:50/~lp15/papers/Bella/accountability.pdf
32 26/Jul/15 09:18/~lp15/MLbook/programs/notes.html
32 26/Jul/15 18:00/~lp15/papers/Reviews/
32 0.01%26/Jul/15 21:22/~lp15/MLbook/programs/sample9.sml
32 26/Jul/15 09:20/~lp15/SpryAssets/
32 0.23%25/Jul/15 17:12/~lp15/papers/Automation/reconstruction.pdf
32 0.04%27/Jul/15 10:39/~lp15/Sue/Cultures of Dance.ppt
32 0.22%23/Jul/15 08:50/~lp15/papers/Arith/calculemus2008.pdf
32 0.15%26/Jul/15 11:48/~lp15/papers/Formath/Goedel-logic-mine.pdf
32 0.12%25/Jul/15 10:26/~lp15/papers/Arith/SNC2014-invited.pdf
31 0.08%26/Jul/15 17:44/~lp15/papers/Automation/leo2-ijcar.pdf
31 0.01%26/Jul/15 17:26/~lp15/MLbook/programs/sample10.sml
31 0.02%26/Jul/15 20:30/~lp15/images/pilkington.jpg
31 0.04%25/Jul/15 04:02/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
31 0.01%27/Jul/15 07:21/~lp15/MLbook/exercises/exer7.html
31 0.08%27/Jul/15 07:34/~lp15/papers/Arith/fmcad2009.pdf
31 0.07%27/Jul/15 12:53/~lp15/papers/Auth/lics.pdf
30 0.08%26/Jul/15 11:39/~lp15/papers/Bella/esorics98.pdf
30 0.22%26/Jul/15 18:57/~lp15/papers/Automation/filtering-jal.pdf
30 0.09%25/Jul/15 08:10/~lp15/papers/Arith/Hscc09.pdf
29 27/Jul/15 04:12/~lp15/papers/Notes/
29 0.08%25/Jul/15 00:24/~lp15/papers/UNITY/tphols01.pdf
29 0.02%26/Jul/15 16:19/~lp15/papers/Reviews/construct.pdf
29 0.02%26/Jul/15 09:19/~lp15/Usage/images/
29 0.24%24/Jul/15 20:29/~lp15/papers/Arith/Sogokon-nfm14.pdf
28 0.06%27/Jul/15 08:35/~lp15/papers/Isabelle/chap700.pdf
28 0.01%26/Jul/15 09:18/~lp15/MLbook/exercises/exer5.html
28 0.18%26/Jul/15 03:46/~lp15/papers/Workshop/papers/bednarczyk.pdf
28 26/Jul/15 09:20/~lp15/Templates/
28 0.10%27/Jul/15 07:30/~lp15/papers/Bella/esorics2000.pdf
27 0.09%26/Jul/15 17:49/~lp15/papers/Automation/translations.pdf
27 0.25%26/Jul/15 12:40/~lp15/papers/Reports/intro-to-isabelle.pdf
27 0.01%27/Jul/15 04:09/~lp15/Grants/holisa.html
27 26/Jul/15 09:19/~lp15/papers/Arith/atan-problem-1-weak.html
27 0.01%27/Jul/15 12:46/~lp15/Pages/ACS-proposals.html
27 2.50%26/Jul/15 20:46/~lp15/papers/Arith/FroCos-presentation.pdf
27 26/Jul/15 09:18/~lp15/MLbook/exercises/disclaimer.html
27 0.06%26/Jul/15 10:24/~lp15/papers/Arith/ITP-2012-invited.pdf
26 0.05%26/Jul/15 15:24/~lp15/papers/Workshop/papers/ayari.pdf
26 0.22%26/Jul/15 17:04/~lp15/papers/Isabelle/Goedel-ar.pdf
26 0.81%27/Jul/15 03:20/~lp15/papers/Auth/lics-slides.pdf
26 0.10%27/Jul/15 05:43/~lp15/papers/Isabelle/sylow.pdf
25 0.01%27/Jul/15 05:45/~lp15/MLbook/programs/test10.sml
25 0.01%26/Jul/15 09:18/~lp15/MLbook/programs/sample8-2004.sml
25 0.01%26/Jul/15 09:18/~lp15/MLbook/programs/sample9-2004.sml
25 0.07%27/Jul/15 10:35/~lp15/papers/Bella/purchase.pdf
24 0.13%27/Jul/15 06:44/~lp15/papers/Automation/translations-jar.pdf
24 0.01%26/Jul/15 09:18/~lp15/MLbook/programs/sample8-old.sml
24 0.02%27/Jul/15 04:27/~lp15/papers/paulson.bib
24 26/Jul/15 09:19/~lp15/MLbook/first/programs/
24 0.06%25/Jul/15 13:46/~lp15/papers/Arith/case-splitting.pdf
24 0.01%26/Jul/15 09:18/~lp15/MLbook/programs/sample10-old.sml
24 0.10%27/Jul/15 02:06/~lp15/papers/Arith/cicm2012.pdf
24 0.01%26/Jul/15 09:18/~lp15/MLbook/programs/sample3-old.sml
23 26/Jul/15 09:19/~lp15/tmp/
23 26/Jul/15 09:19/~lp15/Pages/
23 0.10%26/Jul/15 12:47/~lp15/papers/Automation/filtering.pdf
23 0.06%26/Jul/15 23:45/~lp15/papers/Workshop/papers/benini.pdf
23 0.23%25/Jul/15 10:36/~lp15/papers/Auth/SET-overview-slides.pdf
23 0.11%24/Jul/15 13:07/~lp15/papers/Formath/constructible-slides.pdf
22 0.03%25/Jul/15 09:00/~lp15/Grants/LEO-II/leo2-case.pdf
22 0.13%26/Jul/15 17:23/~lp15/papers/Auth/SET-document.pdf
22 0.06%26/Jul/15 14:53/~lp15/papers/Isabelle/Goedel-logic.pdf
22 0.38%26/Jul/15 05:30/~lp15/papers/Reports/TypeClasses-slides.pdf
22 0.26%25/Jul/15 19:38/~lp15/Grants/BeyondLinArith/arith-case.pdf
22 0.05%27/Jul/15 08:32/~lp15/papers/Automation/IJCAR2004.pdf
22 0.04%25/Jul/15 14:36/~lp15/papers/Workshop/vigano.pdf
22 0.01%26/Jul/15 19:35/~lp15/papers/Reports/blast-slides.pdf
22 0.04%26/Jul/15 00:28/~lp15/Grants/AutoPolyFun/case.pdf
22 0.08%26/Jul/15 11:43/~lp15/papers/Workshop/papers/agerholm.pdf
22 26/Jul/15 09:20/~lp15/papers/Workshop/programme.html
21 0.52%26/Jul/15 21:00/~lp15/papers/Auth/dagstuhl2001-slides.pdf
21 0.01%27/Jul/15 03:55/~lp15/papers/Reviews/MLer.pdf
21 0.07%27/Jul/15 08:55/~lp15/papers/Automation/jar-smt.pdf
21 0.08%26/Jul/15 01:24/~lp15/papers/Isabelle/coding.pdf
21 0.14%27/Jul/15 02:22/~lp15/papers/UNITY/UNITY.pdf
21 0.14%24/Jul/15 22:24/~lp15/papers/Workshop/papers/rasmussen.pdf
21 26/Jul/15 09:20/~lp15/papers/Workshop/participants.html
20 0.17%26/Jul/15 02:43/~lp15/papers/Reports/Bridge-ml.pdf
20 0.06%27/Jul/15 10:27/~lp15/papers/Workshop/papers/owens.pdf
20 27/Jul/15 05:40/~lp15/Grants/Chaieb.html
20 0.09%26/Jul/15 01:37/~lp15/papers/Formath/reflection.pdf
20 0.06%27/Jul/15 08:24/~lp15/papers/Automation/cade2011-sledge-smt.pdf
20 0.21%26/Jul/15 02:42/~lp15/papers/Automation/info-and-comp.pdf
19 27/Jul/15 10:35/~lp15/Grants/auth.html
19 0.06%24/Jul/15 22:36/~lp15/papers/Arith/lpar2007.pdf
19 26/Jul/15 09:20/~lp15/papers/Workshop/thompson.html
19 27/Jul/15 04:19/~lp15/MLbook/first/programs/Functions.ML
18 0.01%21/Jul/15 12:13/~lp15/MLbook/first/ML-syntax.ps.gz
18 0.27%27/Jul/15 05:25/~lp15/papers/Formath/constructible-theory.pdf
18 26/Jul/15 09:19/~lp15/papers/Workshop/matthews.html
18 0.04%26/Jul/15 18:37/~lp15/papers/Bella/cav98.pdf
18 26/Jul/15 09:20/~lp15/papers/Workshop/paulson.html
18 0.01%27/Jul/15 07:02/~lp15/images/larry-paulson.jpg
18 27/Jul/15 04:34/~lp15/papers/Ballarin/
18 26/Jul/15 09:18/~lp15/Grants/temporal.html
18 0.10%23/Jul/15 19:38/~lp15/papers/Workshop/papers/kammueller.pdf
18 0.09%26/Jul/15 02:52/~lp15/papers/Formath/set-II.pdf
17 0.05%26/Jul/15 11:56/~lp15/papers/Formath/final.pdf
17 0.07%26/Jul/15 09:17/~lp15/papers/Arith/case-splitting-stats.csv
17 0.28%27/Jul/15 11:47/~lp15/papers/Reports/TypeClasses.pdf
17 26/Jul/15 10:09/~lp15/images/
17 0.05%24/Jul/15 21:51/~lp15/papers/Notes/strategy.pdf
17 0.03%25/Jul/15 14:10/~lp15/papers/Arith/pdpar2006.pdf
17 0.07%23/Jul/15 09:10/~lp15/papers/Workshop/papers/vigano.pdf
17 27/Jul/15 05:52/~lp15/MLbook/first/programs/Imperative.ML
16 0.03%24/Jul/15 22:17/~lp15/papers/Auth/auth-slides.pdf
16 27/Jul/15 04:18/~lp15/MLbook/first/programs/Lists-Trees.ML
16 0.09%26/Jul/15 12:46/~lp15/papers/Notes/MOD-slides.pdf
16 0.07%27/Jul/15 06:47/~lp15/papers/Formath/reflection-slides.pdf
16 0.02%23/Jul/15 16:33/~lp15/Grants/Automation/case.pdf
16 0.03%26/Jul/15 12:18/~lp15/papers/Reports/CADE11.pdf
16 0.16%25/Jul/15 02:11/~lp15/papers/Automation/h4qed-clean.pdf
16 27/Jul/15 05:42/~lp15/papers/Workshop/futures.html
15 27/Jul/15 04:38/~lp15/papers/Workshop/nipkow.html
15 26/Jul/15 09:20/~lp15/papers/Workshop/kalvala.html
15 0.03%26/Jul/15 23:19/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
15 27/Jul/15 04:29/~lp15/MLbook/first/programs/Modules.ML
15 0.67%27/Jul/15 01:36/~lp15/papers/Arith/Overcoming-slides.pdf
15 0.12%26/Jul/15 00:49/~lp15/papers/Reports/logics97.pdf
15 26/Jul/15 09:20/~lp15/papers/Workshop/agerholm.html
15 26/Jul/15 09:20/~lp15/papers/Workshop/wolff.html
14 26/Jul/15 09:20/~lp15/Grants/arith.html
14 0.11%27/Jul/15 12:56/~lp15/papers/Auth/tls-slides.pdf
14 27/Jul/15 04:19/~lp15/MLbook/first/programs/Lambda.ML
14 0.03%23/Jul/15 08:50/~lp15/papers/Bella/dimacs97.pdf
14 1.08%27/Jul/15 01:51/~lp15/papers/Arith/ITP 2012 presentation.pdf
14 0.03%27/Jul/15 11:35/~lp15/papers/Formath/constructible-abstract.pdf
14 25/Jul/15 23:56/~lp15/papers/Arith/RELEASE-NOTES.txt
14 0.05%26/Jul/15 07:37/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
14 0.04%27/Jul/15 08:04/~lp15/papers/Automation/thf-sledge.pdf
14 0.36%26/Jul/15 18:30/~lp15/papers/Auth/ijcar2001-slides.pdf
14 26/Jul/15 09:19/~lp15/Sue/Cultures of Dance.html
13 0.02%26/Jul/15 08:57/~lp15/papers/Workshop/front.pdf
13 26/Jul/15 09:20/~lp15/papers/Workshop/staples.html
13 0.01%24/Jul/15 17:19/~lp15/Grants/SET/case.pdf
13 0.30%25/Jul/15 23:00/~lp15/papers/Arith/metit-slides.pdf
13 0.24%27/Jul/15 06:02/~lp15/papers/Automation/reconstruction-slides.pdf
13 0.01%25/Jul/15 16:17/~lp15/Grants/UNITY/case.pdf
13 26/Jul/15 09:20/~lp15/Data/
13 0.03%24/Jul/15 16:45/~lp15/papers/Auth/ijcar2001.pdf
13 26/Jul/15 09:20/~lp15/css/
13 0.16%27/Jul/15 13:06/~lp15/papers/Bella/TPHOLs03-slides.pdf
12 0.24%26/Jul/15 01:05/~lp15/Grants/Automation/poster.pdf
12 0.01%27/Jul/15 06:53/~lp15/papers/Formath/AC-slides.pdf
12 0.02%26/Jul/15 20:38/~lp15/papers/Arith/Overcoming.pdf
12 0.03%23/Jul/15 09:29/~lp15/papers/Workshop/papers/thompson.pdf
12 27/Jul/15 04:41/~lp15/papers/OLD.SETS/
12 0.43%26/Jul/15 01:11/~lp15/papers/Arith/SNC2014-slides.pdf
12 0.52%23/Jul/15 18:28/~lp15/Sue/Thesis-Appendices.pdf
11 19/Jul/15 08:43/~lp15/MLbook/first/programs/ParsePrint.ML
11 0.01%24/Jul/15 21:55/~lp15/papers/Notes/strategy-slides.pdf
11 0.98%23/Jul/15 21:30/~lp15/Data/ho-translations/Abst.tbz
11 0.01%23/Jul/15 09:08/~lp15/papers/Workshop/kammueller.pdf
11 0.02%24/Jul/15 00:09/~lp15/papers/Auth/security-protocols.pdf
11 0.02%26/Jul/15 05:33/~lp15/papers/Auth/recur-slides.pdf
11 24/Jul/15 19:45/~lp15/MLbook/first/ERRATA1.txt
10 0.94%24/Jul/15 17:51/~lp15/Data/ho-translations/Comb.tbz
10 4.53%23/Jul/15 22:39/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
10 24/Jul/15 19:45/~lp15/MLbook/StandardML.plist
10 0.01%27/Jul/15 04:19/~lp15/MLbook/first/programs/Hal.ML
10 0.01%25/Jul/15 19:37/~lp15/papers/Workshop/ayari.pdf
9 0.02%22/Jul/15 05:54/~lp15/Grants/Chaieb-case.pdf
9 24/Jul/15 03:02/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
9 26/Jul/15 09:20/~lp15/papers/Workshop/heule.html
9 0.02%20/Jul/15 05:23/~lp15/Grants/Automation/final.pdf
9 0.06%27/Jul/15 02:02/~lp15/papers/UNITY/composition.pdf
9 26/Jul/15 04:17/~lp15/Grants/SET/final.pdf
9 0.02%26/Jul/15 02:05/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
9 23/Jul/15 13:43/~lp15/Data/ho-translations/Theories.tbz
9 4.17%23/Jul/15 22:02/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
9 0.04%27/Jul/15 12:03/~lp15/papers/Formath/milner-ind-defs.pdf
9 0.02%22/Jul/15 02:55/~lp15/papers/Ballarin/aisc98.pdf
9 24/Jul/15 23:52/~lp15/MLbook/ERRATA.txt
9 0.03%25/Jul/15 08:13/~lp15/papers/Ballarin/coding.pdf
8 24/Jul/15 19:45/~lp15/MLbook/first/ERRATA3.txt
8 0.04%24/Jul/15 20:23/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
8 0.04%27/Jul/15 11:04/~lp15/papers/Reports/lamport-paulson-types.pdf
8 0.13%23/Jul/15 13:55/~lp15/papers/Auth/dagstuhl2003-slides.pdf
7 24/Jul/15 04:08/~lp15/papers/Formath/ind-defs-slides.pdf
7 0.22%24/Jul/15 13:10/~lp15/Grants/BeyondLinArith/arith-poster.pdf
7 24/Jul/15 19:45/~lp15/papers/Workshop/owens.txt
7 0.03%23/Jul/15 09:29/~lp15/papers/Workshop/papers/nipkow.pdf
7 0.14%25/Jul/15 12:42/~lp15/papers/Notes/formalizing-abst-slides.pdf
7 0.01%23/Jul/15 08:50/~lp15/papers/Arith/NFM2014-invited.pdf
6 0.04%26/Jul/15 15:06/~lp15/papers/OLD.SETS/set-I.pdf
6 15/Jul/15 21:50/~lp15/Sue/Cultures of Dance.pdf
6 0.01%23/Jul/15 08:50/~lp15/papers/Arith/FroCoS-2013-invited.pdf
6 0.03%27/Jul/15 12:35/~lp15/papers/Automation/sultana-pfreconstruction.pdf
6 0.01%23/Jul/15 08:52/~lp15/papers/Notes/leeds-notes.pdf
6 0.07%23/Jul/15 08:51/~lp15/papers/Isabelle/Cube-presentation.pdf
6 0.02%25/Jul/15 12:45/~lp15/papers/Workshop/papers/matthews.pdf
6 24/Jul/15 19:45/~lp15/archive/ERRATA.txt
5 0.92%10/Jul/15 19:24/~lp15/archive/Isabelle2009.tar.gz
5 0.01%23/Jul/15 09:30/~lp15/papers/Workshop/papers/staples.pdf
5 0.73%23/Jul/15 16:55/~lp15/papers/Arith/qepcad-B.1.65.MacOSX.zip
5 21/Jul/15 05:48/~lp15/Grants/UNITY/final.pdf
5 20/Jul/15 08:34/~lp15/Templates/publications.dwt
5 24/Jul/15 19:45/~lp15/papers/Workshop/bednarczyk.txt
5 0.03%27/Jul/15 13:23/~lp15/papers/Workshop/papers/paulson.pdf
5 0.20%18/Jul/15 13:30/~lp15/Grants/LEO-II/leo project poster.pdf
5 18/Jul/15 14:29/~lp15/Grants/auth-final.pdf
5 0.01%26/Jul/15 05:17/~lp15/papers/Workshop/papers/kalvala-linear.pdf
5 0.02%23/Jul/15 13:29/~lp15/Pages/harrison-real.pdf
5 23/Jul/15 21:51/~lp15/Grants/temporal-final.pdf
5 24/Jul/15 19:45/~lp15/MLbook/first/ERRATA2.txt
18120.28%27/Jul/15 03:29[not listed: 83 files]