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

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

Successful requests: 19,759 (3,889)
Average successful requests per day: 139 (555)
Successful requests for pages: 4,849 (1,066)
Average successful requests for pages per day: 34 (152)
Failed requests: 988 (182)
Redirected requests: 96 (12)
Distinct files requested: 396 (300)
Distinct hosts served: 3,640 (838)
Corrupt logfile lines: 5
Unwanted logfile entries: 13,322
Data transferred: 5.10 gigabytes (950.08 megabytes)
Average data transferred per day: 36.82 megabytes (135.73 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 
Sun1969529+++++++++++++++++++++++++++
Mon2562615+++++++++++++++++++++++++++++++
Tue3145729+++++++++++++++++++++++++++++++++++++
Wed3688864++++++++++++++++++++++++++++++++++++++++++++
Thu2925757++++++++++++++++++++++++++++++++++++++
Fri3637901++++++++++++++++++++++++++++++++++++++++++++++
Sat1833454+++++++++++++++++++++++

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
703734.14%[unresolved numerical addresses]
462030.61%.com (Commercial)
1609 7.54%.net (Networks)
1059 3.84%.de (Germany)
817 3.56%.uk (United Kingdom)
318 2.77%.cz (Czech Republic)
504 2.29%.in (India)
533 1.81%[domain not given]
183 1.44%[unknown domain]
71 1.14%.au (Australia)
488 1.14%.edu (USA Higher Education)
23 1.00%.org (Non Profit Making Organisations)
196 0.99%.cn (China)
62 0.89%.es (Spain)
117 0.88%.pk (Pakistan)
71 0.44%.br (Brazil)
221 0.42%.ru (Russia)
152 0.35%.fr (France)
90 0.34%.tr (Turkey)
64 0.26%.gr (Greece)
30 0.24%.nz (New Zealand)
112 0.23%.nl (Netherlands)
20 0.22%.pt (Portugal)
58 0.21%.ch (Switzerland)
115 0.20%.jp (Japan)
48 0.19%.pl (Poland)
97 0.18%.ca (Canada)
38 0.16%.se (Sweden)
25 0.14%.th (Thailand)
46 0.13%.np (Nepal)
24 0.13%.my (Malaysia)
57 0.12%.at (Austria)
122 0.11%.mx (Mexico)
44 0.10%.za (South Africa)
5 0.10%.gt (Guatemala)
34 0.10%.kz (Kazakhstan)
19 0.09%.bt (Bhutan)
113 0.09%.it (Italy)
7 0.09%.rw (Rwanda)
5 0.09%.zw (Zimbabwe)
21 0.07%.hk (Hong Kong)
6 0.07%.ir (Iran)
26 0.07%.hu (Hungary)
16 0.07%.arpa (Arpanet)
30 0.06%.ro (Romania)
19 0.06%.ph (Philippines)
25 0.06%.co (Colombia)
20 0.05%.ye (Yemen)
17 0.05%.lk (Sri Lanka)
20 0.05%.dk (Denmark)
29 0.05%.no (Norway)
11 0.05%.vn (Vietnam)
30 0.04%.fi (Finland)
1 0.04%.tt (Trinidad and Tobago)
24 0.04%.tw (Taiwan)
3 0.03%.na (Namibia)
3 0.03%.ae (United Arab Emirates)
3 0.03%.ug (Uganda)
10 0.03%.gov (USA Government)
12 0.03%.sg (Singapore)
54 0.03%.il (Israel)
7 0.02%.ma (Morocco)
1 0.02%.bh (Bahrain)
1 0.02%.gh (Ghana)
2 0.01%.uz (Uzbekistan)
16 0.01%.bg (Bulgaria)
16 0.01%.ie (Ireland)
2 0.01%.lb (Lebanon)
6 0.01%.be (Belgium)
2 0.01%.us (United States)
2 0.01%.io (British Indian Ocean Territory)
11 0.01%.ua (Ukraine)
12 0.01%.ar (Argentina)
4 0.01%.cm (Cameroon)
6 0.01%.ke (Kenya)
4 0.01%.ee (Estonia)
3 .bd (Bangladesh)
1 .ly (Libya)
11 .is (Iceland)
7 .uy (Uruguay)
2 .sk (Slovakia)
1 .cy (Cyprus)
1 .mk (Macedonia (Former Yugoslav Republic))
1 .si (Slovenia)
1 .sa (Saudi Arabia)
1 .am (Armenia)
2 .by (Belarus)
1 .id (Indonesia)
1 .nu (Niue)

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
115813.98%msn.com
787 7.22%amazonaws.com
765 1.74%106
616 2.13%yandex.com
591 2.75%your-server.de
533 1.81%[domain not given]
513 2.25%117
375 2.54%cam.ac.uk
363 0.70%comcast.net
306 2.76%cerit-sc.cz
285 2.61%baidu.com
264 1.25%41
222 1.07%39
220 0.82%199.16
206 1.22%212.33
192 0.32%t-ipconnect.de
186 0.96%cnsat.com.cn
183 1.44%[unknown domain]
182 page2rss.com
178 5.27%103
1163447.16%[not listed: 1,150 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
229software
175engineering
120pdf
104notes
80in
45some
45failures
41of
28i.pdf
27http://www.cl.cam.ac.uk/~lp15/papers/notes/se
18set
17equivalence
17card
16class
15system
13filetype:pdf
12airline
12reservation
12:pdf
12theorem
12for
12holder
12the
12terminology
12registration
12using
12security
11lab
10a
10z
437[not listed: 196 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
137331694OS unknown
2103701282Windows
 8921998  Unknown Windows
 1413266  Windows XP
 207  Windows NT
 96  Windows 2000
 54  Windows 98
 11  Windows ME
 10  Windows Server 2003
32450759Macintosh
42177631Unix
 2152622  Linux
 248  Other Unix
 11  BSD
5954449Known 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
11242200 OK
7683206 Partial content
96301 Document moved permanently
834304 Not modified since last retrieval
238403 Access forbidden
750404 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
0933 
1B- 10B5 
11B- 100B6 
101B- 1kB239 
1kB- 10kB2959 0.24%
10kB-100kB9810 7.33%
100kB- 1MB526341.52%
1MB- 10MB49525.27%
10MB-100MB4925.64%

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
1314168.49%.pdf [Adobe Portable Document Format]
12017.66%.gz [Gzip compressed files]
5717.60%  .tar.gz [Compressed archives]
6611.29%.tbz
903 0.95%.jpg [JPEG graphics]
3127 0.45%[directories]
4 0.40%.tgz
1722 0.28%.html [Hypertext Markup Language]
2 0.26%.zip [Zip archives]
674 0.22%[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
3185 8.37%27/Mar/15 10:47/~lp15/papers/Reports/equivclasses-slides.pdf
273918.25%27/Mar/15 11:05/~lp15/papers/Notes/SE-I.pdf
920 0.17%27/Mar/15 11:32/~lp15/
676 8.79%26/Mar/15 09:12/~lp15/papers/Reports/thesis.pdf
465 0.02%27/Mar/15 09:29/~lp15/MLbook/
450 1.40%26/Mar/15 16:27/~lp15/papers/Formath/automata.pdf
389 0.51%27/Mar/15 11:32/~lp15/images/larry-home-small.jpg
386 0.37%27/Mar/15 11:32/~lp15/images/acm-logo.jpg
327 0.11%27/Mar/15 11:32/~lp15/papers/refereed.html
274 0.65%26/Mar/15 13:46/~lp15/papers/Reports/popl82.pdf
262 0.05%27/Mar/15 05:14/~lp15/papers/Arith/
217 0.38%26/Mar/15 20:04/~lp15/papers/Reports/fleuriot-kepler.pdf
210 0.01%27/Mar/15 09:28/~lp15/MLbook/programs/
204 3.77%26/Mar/15 23:33/~lp15/Sue/Thesis.pdf
198 0.51%27/Mar/15 00:38/~lp15/papers/Notes/Founds-FP.pdf
169 0.68%26/Mar/15 16:42/~lp15/papers/Auth/jcs.pdf
133 0.02%27/Mar/15 08:49/~lp15/Sue/
111 0.21%27/Mar/15 03:00/~lp15/papers/Bella/esorics98.pdf
110 0.02%27/Mar/15 05:14/~lp15/papers/Automation/
106 0.11%27/Mar/15 03:59/~lp15/papers/Reports/mutil.pdf
98 0.21%26/Mar/15 21:12/~lp15/papers/Isabelle/aisc98.pdf
98 0.60%27/Mar/15 11:32/~lp15/papers/Formath/Goedel-ar.pdf
98 0.02%27/Mar/15 06:51/~lp15/Pages/Scream.html
92 0.02%27/Mar/15 05:14/~lp15/papers/Auth/
92 0.23%27/Mar/15 03:27/~lp15/papers/Auth/tls.pdf
91 0.28%26/Mar/15 01:18/~lp15/papers/Formath/set-I.pdf
90 0.38%26/Mar/15 22:54/~lp15/papers/Automation/info-and-comp.pdf
85 0.56%27/Mar/15 07:31/~lp15/papers/Arith/MetiTarski-jar.pdf
85 0.32%26/Mar/15 14:13/~lp15/papers/Reports/equivclasses.pdf
81 0.01%27/Mar/15 09:29/~lp15/MLbook/programs/sample2.sml
80 0.01%27/Mar/15 09:41/~lp15/papers/Formath/
78 27/Mar/15 09:00/~lp15/MLbook/exercises/
75 0.45%27/Mar/15 11:32/~lp15/papers/Arith/Sogokon-nfm14.pdf
73 0.15%26/Mar/15 19:56/~lp15/papers/Automation/meng-termination.pdf
72 0.09%27/Mar/15 00:04/~lp15/papers/Arith/Narayanan DATE.pdf
72 0.29%27/Mar/15 10:13/~lp15/papers/Bella/smartcards-jcs.pdf
71 0.10%26/Mar/15 13:59/~lp15/papers/Auth/lics.pdf
71 0.01%27/Mar/15 05:14/~lp15/papers/lecture-courses.html
69 0.25%27/Mar/15 04:01/~lp15/papers/Arith/calculemus2008.pdf
68 0.12%27/Mar/15 00:37/~lp15/papers/Bella/dimacs97.pdf
67 0.38%27/Mar/15 04:58/~lp15/papers/Isabelle/Goedel-ar.pdf
66 27/Mar/15 04:13/~lp15/papers/Arith/download.html
66 27/Mar/15 09:03/~lp15/MLbook/pub-details.html
64 0.09%27/Mar/15 11:32/~lp15/papers/Formath/Goedel-logic.pdf
64 0.20%27/Mar/15 03:59/~lp15/papers/Automation/filtering.pdf
64 0.01%26/Mar/15 23:54/~lp15/Grants/SET/
63 0.14%26/Mar/15 00:42/~lp15/papers/Reports/TPHOLs05.pdf
63 0.22%25/Mar/15 11:26/~lp15/Pages/Munich-slides.pdf
62 0.14%26/Mar/15 22:36/~lp15/papers/Automation/translations.pdf
60 0.80%27/Mar/15 01:54/~lp15/papers/Reports/TypeClasses.pdf
59 26/Mar/15 18:55/~lp15/MLbook/general.html
58 0.14%27/Mar/15 09:53/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
58 0.09%27/Mar/15 04:08/~lp15/Pages/vita.pdf
58 0.01%25/Mar/15 11:26/~lp15/MLbook/programs/sample4.sml
57 0.01%26/Mar/15 00:04/~lp15/MLbook/ERRATA.html
56 27/Mar/15 05:23/~lp15/papers/Arith/qepcad-for-mac.html
56 0.17%26/Mar/15 21:21/~lp15/papers/Formath/set-II.pdf
55 26/Mar/15 15:51/~lp15/Pages/cv.html
54 0.01%27/Mar/15 09:03/~lp15/MLbook/review.html
54 0.01%27/Mar/15 10:04/~lp15/MLbook/programs/sample3.sml
54 0.01%27/Mar/15 05:14/~lp15/papers/Workshop/
54 0.01%27/Mar/15 05:19/~lp15/papers/Reports/
53 0.60%27/Mar/15 00:04/~lp15/papers/Arith/SNC2014-slides.pdf
53 0.01%27/Mar/15 05:14/~lp15/Grants/AutoPolyFun/
52 0.20%27/Mar/15 01:35/~lp15/papers/Automation/translations-jar.pdf
52 0.15%26/Mar/15 02:23/~lp15/papers/Formath/AC.pdf
52 0.35%27/Mar/15 08:35/~lp15/papers/Bella/purchase-JAR.pdf
52 0.08%25/Mar/15 14:36/~lp15/papers/Automation/IJCAR2004.pdf
52 0.03%26/Mar/15 17:35/~lp15/Sue/Sue Paulson.jpg
51 0.11%27/Mar/15 00:28/~lp15/papers/Workshop/papers/voelker.pdf
50 0.08%27/Mar/15 04:01/~lp15/papers/Arith/fmcad2009.pdf
48 0.01%26/Mar/15 11:12/~lp15/archive/
48 0.01%27/Mar/15 00:37/~lp15/papers/Isabelle/
48 0.11%26/Mar/15 20:24/~lp15/papers/UNITY/Mechanizing-compositional.pdf
47 0.56%25/Mar/15 11:26/~lp15/papers/Auth/lics-slides.pdf
46 0.01%27/Mar/15 05:14/~lp15/papers/invited.html
45 27/Mar/15 05:16/~lp15/Pages/projects.html
45 0.07%25/Mar/15 11:26/~lp15/papers/Automation/cade2011-sledge-smt.pdf
44 0.05%27/Mar/15 11:42/~lp15/Usage/
44 0.02%26/Mar/15 18:17/~lp15/MLbook/exercises/exer8.html
42 0.02%24/Mar/15 13:09/~lp15/papers/Reviews/MLer.pdf
42 0.02%25/Mar/15 11:36/~lp15/images/pilkington.jpg
42 0.23%26/Mar/15 01:22/~lp15/papers/Automation/reconstruction.pdf
41 27/Mar/15 05:14/~lp15/papers/UNITY/
41 0.05%26/Mar/15 22:41/~lp15/Grants/LEO-II/leo2-case.pdf
41 0.24%27/Mar/15 00:24/~lp15/papers/Workshop/papers/rasmussen.pdf
41 0.09%27/Mar/15 00:37/~lp15/papers/Bella/esorics2000.pdf
41 0.01%27/Mar/15 08:14/~lp15/Grants/LEO-II/
41 0.01%27/Mar/15 10:18/~lp15/Grants/UNITY/
40 0.10%27/Mar/15 00:37/~lp15/papers/Bella/nonrepudiation.pdf
40 0.13%25/Mar/15 11:26/~lp15/papers/Automation/filtering-jal.pdf
39 0.06%27/Mar/15 04:02/~lp15/papers/Arith/case-splitting.pdf
39 0.06%25/Mar/15 11:26/~lp15/papers/Auth/SET-overview-2002.pdf
39 0.05%27/Mar/15 04:58/~lp15/papers/Isabelle/chap700.pdf
39 27/Mar/15 00:04/~lp15/papers/
39 27/Mar/15 05:14/~lp15/papers/hol.html
39 27/Mar/15 05:14/~lp15/papers/workshop.html
38 27/Mar/15 04:13/~lp15/papers/Arith/atan-problem-1-weak.html
38 0.09%27/Mar/15 00:38/~lp15/papers/Bella/purchase.pdf
38 0.01%27/Mar/15 09:00/~lp15/MLbook/exercises/exer2.html
38 0.06%27/Mar/15 11:32/~lp15/papers/Automation/thf-sledge.pdf
37 0.07%27/Mar/15 00:04/~lp15/papers/Arith/lpar2007.pdf
37 26/Mar/15 14:49/~lp15/MLbook/programs/ROOT.sml
37 0.05%25/Mar/15 11:26/~lp15/Sue/Cultures of Dance.ppt
37 0.15%27/Mar/15 00:38/~lp15/papers/Notes/MOD-slides.pdf
37 0.04%27/Mar/15 00:04/~lp15/papers/Arith/pdpar2006.pdf
37 27/Mar/15 05:14/~lp15/papers/books.html
37 0.10%27/Mar/15 04:01/~lp15/papers/Arith/Hscc09.pdf
36 27/Mar/15 08:17/~lp15/Pages/CL-English.html
35 0.09%27/Mar/15 00:38/~lp15/papers/Reports/blast.pdf
35 0.06%27/Mar/15 00:38/~lp15/papers/Notes/leeds-notes.pdf
35 0.02%25/Mar/15 23:11/~lp15/papers/Reviews/construct.pdf
35 0.07%27/Mar/15 01:04/~lp15/papers/Automation/paar.pdf
35 27/Mar/15 05:14/~lp15/Grants/Automation/
34 0.10%25/Mar/15 23:26/~lp15/papers/Auth/SET-overview-IJIS.pdf
34 0.01%27/Mar/15 08:49/~lp15/images/larry-paulson.jpg
33 0.01%26/Mar/15 21:40/~lp15/MLbook/exercises/exer3.html
33 0.02%26/Mar/15 15:08/~lp15/MLbook/first/ML-syntax.ps.gz
32 25/Mar/15 11:26/~lp15/MLbook/first/
31 0.15%27/Mar/15 11:32/~lp15/papers/Reports/Bridge-ml.pdf
31 0.01%25/Mar/15 11:26/~lp15/MLbook/exercises/exer4.html
31 27/Mar/15 05:22/~lp15/Grants/
31 0.07%27/Mar/15 11:32/~lp15/papers/Arith/Huang-3heuristics.pdf
31 7.08%25/Mar/15 02:52/~lp15/archive/Isabelle2013-2.tar.gz
30 0.03%26/Mar/15 06:27/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
30 0.01%27/Mar/15 00:38/~lp15/Grants/holisa.html
30 1.19%20/Mar/15 13:40/~lp15/papers/Formath/Goedel-slides.pdf
30 0.14%27/Mar/15 10:46/~lp15/papers/Arith/cicm2012.pdf
29 0.09%27/Mar/15 00:38/~lp15/papers/Bella/accountability.pdf
28 0.01%27/Mar/15 01:56/~lp15/MLbook/programs/sample8.sml
28 0.08%27/Mar/15 00:04/~lp15/papers/Arith/SNC2014-invited.pdf
27 26/Mar/15 14:48/~lp15/MLbook/disclaimer.html
27 0.08%25/Mar/15 11:26/~lp15/papers/Auth/multicast_verification.pdf
27 0.15%27/Mar/15 00:24/~lp15/papers/Workshop/papers/bednarczyk.pdf
27 0.09%27/Mar/15 00:24/~lp15/papers/Workshop/papers/vigano.pdf
27 27/Mar/15 00:04/~lp15/papers/recur.html
26 0.01%26/Mar/15 08:06/~lp15/MLbook/exercises/exer5.html
26 0.05%27/Mar/15 00:37/~lp15/papers/Bella/cav98.pdf
25 0.26%23/Mar/15 01:42/~lp15/papers/Deduction/lecture3.pdf
25 25/Mar/15 11:26/~lp15/MLbook/programs/sample5.sml
24 0.05%27/Mar/15 00:24/~lp15/papers/Workshop/papers/owens.pdf
24 0.03%26/Mar/15 09:42/~lp15/papers/Auth/yahalom.pdf
24 0.04%27/Mar/15 00:04/~lp15/papers/Arith/ITP-2012-invited.pdf
23 0.24%25/Mar/15 11:26/~lp15/Grants/Automation/poster.pdf
23 0.01%25/Mar/15 11:26/~lp15/MLbook/programs/sample9.sml
23 0.08%27/Mar/15 09:44/~lp15/papers/Formath/Goedel-logic-mine.pdf
23 0.07%25/Mar/15 11:26/~lp15/papers/Isabelle/coding.pdf
23 0.12%25/Mar/15 17:40/~lp15/papers/Formath/constructible-slides.pdf
23 0.08%27/Mar/15 00:24/~lp15/papers/Workshop/papers/agerholm.pdf
22 27/Mar/15 09:29/~lp15/MLbook/programs/notes.html
22 0.04%27/Mar/15 00:24/~lp15/papers/Workshop/papers/ayari.pdf
22 0.04%25/Mar/15 15:37/~lp15/papers/Automation/leo2-ijcar.pdf
22 0.04%27/Mar/15 11:32/~lp15/papers/Automation/jar-smt.pdf
22 0.01%25/Mar/15 11:26/~lp15/MLbook/exercises/exer7.html
22 1.71%27/Mar/15 00:04/~lp15/papers/Arith/FroCos-presentation.pdf
22 0.10%27/Mar/15 00:24/~lp15/papers/Workshop/papers/kammueller.pdf
21 27/Mar/15 00:04/~lp15/Grants/BeyondLinArith/
21 0.05%27/Mar/15 00:38/~lp15/papers/Notes/strategy.pdf
21 0.29%25/Mar/15 11:26/~lp15/papers/Automation/reconstruction-slides.pdf
21 0.04%25/Mar/15 11:26/~lp15/papers/Formath/constructible-abstract.pdf
20 27/Mar/15 12:01/~lp15/papers/Notes/
20 0.04%26/Mar/15 04:44/~lp15/papers/Isabelle/Goedel-logic.pdf
20 0.01%25/Mar/15 11:26/~lp15/MLbook/programs/sample10.sml
20 0.01%26/Mar/15 08:04/~lp15/MLbook/exercises/exer6.html
20 0.12%27/Mar/15 04:34/~lp15/papers/UNITY/UNITY.pdf
20 25/Mar/15 09:03/~lp15/MLbook/first/programs/Functions.ML
20 27/Mar/15 04:13/~lp15/papers/Arith/RELEASE-NOTES.txt
20 24/Mar/15 19:44/~lp15/Pages/ACS-proposals.html
19 0.04%25/Mar/15 11:26/~lp15/papers/Formath/final.pdf
19 0.03%25/Mar/15 11:26/~lp15/papers/Arith/Overcoming.pdf
19 27/Mar/15 05:14/~lp15/Grants/temporal.html
19 26/Mar/15 18:07/~lp15/MLbook/StandardML.plist
19 0.05%27/Mar/15 00:37/~lp15/papers/Bella/registration.pdf
19 0.13%13/Mar/15 04:08/~lp15/papers/Auth/dagstuhl2003-slides.pdf
18 0.05%25/Mar/15 16:56/~lp15/papers/UNITY/ehmety-composition.pdf
18 27/Mar/15 05:14/~lp15/Grants/auth.html
18 27/Mar/15 00:37/~lp15/papers/Deduction/
18 0.26%27/Mar/15 00:38/~lp15/papers/Notes/formalizing-abst-slides.pdf
18 0.03%26/Mar/15 23:07/~lp15/papers/Workshop/vigano.pdf
18 0.12%27/Mar/15 00:38/~lp15/papers/Reports/logics97.pdf
17 0.02%27/Mar/15 00:38/~lp15/papers/Notes/strategy-slides.pdf
17 25/Mar/15 16:58/~lp15/MLbook/first/programs/Lists-Trees.ML
17 0.29%27/Mar/15 00:04/~lp15/papers/Arith/metit-slides.pdf
17 0.01%25/Mar/15 11:26/~lp15/papers/Arith/NFM2014-invited.pdf
17 0.63%27/Mar/15 02:33/~lp15/Sue/Thesis-Appendices.pdf
17 0.03%24/Mar/15 16:56/~lp15/papers/Ballarin/coding.pdf
16 27/Mar/15 01:58/~lp15/Data/ho-translations/
16 26/Mar/15 19:17/~lp15/MLbook/programs/sample7.sml
16 0.04%27/Mar/15 00:24/~lp15/papers/Workshop/papers/benini.pdf
16 0.02%27/Mar/15 11:01/~lp15/papers/Auth/auth-slides.pdf
16 26/Mar/15 23:46/~lp15/papers/Workshop/matthews.html
16 26/Mar/15 05:47/~lp15/MLbook/first/programs/Lambda.ML
16 1.05%27/Mar/15 00:04/~lp15/papers/Arith/ITP 2012 presentation.pdf
16 0.89%26/Mar/15 21:36/~lp15/papers/Arith/Overcoming-slides.pdf
16 0.88%27/Mar/15 00:38/~lp15/papers/Notes/LCF+.pdf
16 27/Mar/15 09:00/~lp15/MLbook/exercises/disclaimer.html
16 0.05%25/Mar/15 11:26/~lp15/papers/Formath/reflection.pdf
15 23/Mar/15 11:44/~lp15/papers/Workshop/nipkow.html
15 0.01%25/Mar/15 11:26/~lp15/MLbook/programs/test10.sml
15 0.01%27/Mar/15 00:37/~lp15/papers/paulson.bib
15 0.03%25/Mar/15 11:26/~lp15/Grants/Automation/final.pdf
15 0.05%27/Mar/15 00:24/~lp15/papers/Workshop/papers/nipkow.pdf
15 23/Mar/15 18:18/~lp15/MLbook/first/programs/Modules.ML
15 0.05%26/Mar/15 16:09/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
15 0.03%26/Mar/15 03:34/~lp15/Grants/AutoPolyFun/case.pdf
15 25/Mar/15 14:35/~lp15/MLbook/first/programs/Imperative.ML
14 0.03%27/Mar/15 00:24/~lp15/papers/Workshop/papers/staples.pdf
14 0.40%25/Mar/15 11:26/~lp15/Grants/BeyondLinArith/arith-poster.pdf
14 0.50%25/Mar/15 11:26/~lp15/Sue/Phd-Poster.pdf
14 0.08%24/Mar/15 19:51/~lp15/papers/UNITY/composition.pdf
14 0.11%24/Mar/15 21:42/~lp15/papers/Deduction/lecture1.pdf
14 0.01%25/Mar/15 11:26/~lp15/MLbook/programs/sample10-old.sml
14 0.02%27/Mar/15 00:38/~lp15/papers/Reports/CADE9.pdf
14 27/Mar/15 05:22/~lp15/papers/Workshop/participants.html
14 27/Mar/15 08:14/~lp15/Data/relevance/
13 0.03%16/Mar/15 15:12/~lp15/Grants/Chaieb-case.pdf
13 0.06%27/Mar/15 00:24/~lp15/papers/Workshop/papers/paulson.pdf
13 0.03%27/Mar/15 00:24/~lp15/papers/Workshop/papers/kalvala-linear.pdf
13 0.01%23/Mar/15 13:45/~lp15/Grants/UNITY/case.pdf
13 0.02%25/Mar/15 11:26/~lp15/papers/Reports/CADE11.pdf
13 0.02%26/Mar/15 00:50/~lp15/papers/Workshop/friedrich.pdf
13 0.02%25/Mar/15 11:26/~lp15/papers/Auth/recur-slides.pdf
13 0.10%25/Mar/15 11:26/~lp15/papers/Arith/NFM2014-slides.pdf
13 0.04%27/Mar/15 05:57/~lp15/papers/Bella/certified-email.pdf
13 24/Mar/15 22:43/~lp15/MLbook/ERRATA.txt
13 27/Mar/15 05:14/~lp15/papers/Workshop/programme.html
13 0.15%27/Mar/15 00:38/~lp15/papers/Bella/TPHOLs03-slides.pdf
12 26/Mar/15 18:00/~lp15/papers/Formath/ind-defs-slides.pdf
12 0.16%26/Mar/15 17:21/~lp15/papers/Formath/constructible-theory.pdf
12 0.03%25/Mar/15 13:21/~lp15/papers/UNITY/tphols01.pdf
12 0.14%25/Mar/15 11:26/~lp15/Grants/BeyondLinArith/arith-case.pdf
12 0.03%27/Mar/15 00:24/~lp15/papers/Workshop/papers/thompson.pdf
12 0.06%25/Mar/15 11:26/~lp15/papers/Formath/reflection-slides.pdf
12 0.03%27/Mar/15 00:24/~lp15/papers/Workshop/papers/matthews.pdf
12 0.04%26/Mar/15 18:12/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
12 26/Mar/15 09:39/~lp15/Grants/temporal-final.pdf
12 25/Mar/15 11:26/~lp15/MLbook/programs/sample3-old.sml
11 0.01%25/Mar/15 11:26/~lp15/Sue/Cultures of Dance.pdf
11 0.04%27/Mar/15 00:04/~lp15/papers/Arith/case-splitting-stats.csv
11 0.01%24/Mar/15 20:34/~lp15/Grants/SET/case.pdf
11 0.10%25/Mar/15 11:26/~lp15/papers/Automation/Huet colloquium.pdf
11 0.15%25/Mar/15 11:26/~lp15/papers/Isabelle/Cube-presentation.pdf
11 25/Mar/15 11:26/~lp15/MLbook/programs/sample9-2004.sml
11 0.01%24/Mar/15 18:31/~lp15/papers/Ballarin/aisc98.pdf
11 25/Mar/15 17:11/~lp15/Grants/Chaieb.html
10 27/Mar/15 00:04/~lp15/papers/Bella/
10 25/Mar/15 11:26/~lp15/MLbook/programs/sample8-old.sml
10 0.40%25/Mar/15 11:26/~lp15/Grants/LEO-II/leo project poster.pdf
10 27/Mar/15 01:10/~lp15/papers/Workshop/thompson.html
10 2.59%19/Mar/15 04:20/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
10 4.16%26/Mar/15 19:40/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
10 26/Mar/15 10:03/~lp15/papers/Reports/blast-slides.pdf
9 26/Mar/15 23:54/~lp15/Grants/arith.html
9 25/Mar/15 08:21/~lp15/Grants/BeyondLinArith/auth-final.pdf
9 18/Mar/15 20:58/~lp15/MLbook/first/programs/
9 25/Mar/15 11:26/~lp15/papers/Formath/AC-slides.pdf
9 0.04%25/Mar/15 08:43/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
9 0.12%27/Mar/15 11:21/~lp15/papers/Reports/TypeClasses-slides.pdf
9 0.07%27/Mar/15 00:38/~lp15/papers/Reports/intro-to-isabelle.pdf
9 0.09%24/Mar/15 20:35/~lp15/papers/Deduction/lecture2.pdf
9 0.02%25/Mar/15 11:26/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
9 0.02%27/Mar/15 00:24/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
9 0.07%25/Mar/15 11:26/~lp15/papers/Auth/SET-overview-slides.pdf
9 0.05%18/Mar/15 12:43/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 0.03%25/Mar/15 11:26/~lp15/papers/Formath/milner-ind-defs.pdf
9 0.10%23/Mar/15 01:46/~lp15/papers/Deduction/lecture4.pdf
8 21/Mar/15 10:47/~lp15/Pages/
8 14/Mar/15 05:22/~lp15/papers/Workshop/kalvala.html
8 0.67%13/Mar/15 06:58/~lp15/Data/ho-translations/Comb.tbz
8 0.06%25/Mar/15 11:26/~lp15/papers/Auth/tls-slides.pdf
8 25/Mar/15 11:26/~lp15/MLbook/programs/sample8-2004.sml
8 20/Mar/15 08:10/~lp15/papers/Workshop/paulson.html
8 0.01%25/Mar/15 11:26/~lp15/Grants/Automation/case.pdf
8 3.26%13/Mar/15 06:58/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8 0.01%21/Mar/15 22:41/~lp15/papers/Workshop/kammueller.pdf
8 20/Mar/15 14:48/~lp15/papers/Workshop/agerholm.html
8 0.03%25/Mar/15 11:26/~lp15/papers/Isabelle/sylow.pdf
8 0.02%25/Mar/15 11:26/~lp15/papers/Auth/ijcar2001.pdf
7 0.01%16/Mar/15 03:55/~lp15/papers/Workshop/front.pdf
7 26/Mar/15 05:32/~lp15/tmp/
7 16/Mar/15 17:11/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
7 0.13%20/Mar/15 11:44/~lp15/papers/Auth/dagstuhl2001-slides.pdf
7 0.42%26/Mar/15 07:56/~lp15/papers/Isabelle/Goedel-slides.pdf
7 0.56%13/Mar/15 06:58/~lp15/Data/ho-translations/Abst.tbz
7 13/Mar/15 06:58/~lp15/Data/ho-translations/Theories.tbz
7 0.01%25/Mar/15 11:26/~lp15/papers/Auth/security-protocols.pdf
7 24/Mar/15 23:43/~lp15/Data/relevance/unfiltered-vampire.txt
7 27/Mar/15 08:16/~lp15/MLbook/first/programs/Hal.ML
7  9/Mar/15 03:51/~lp15/Data/relevance/unfiltered-E.txt
7 0.16%25/Mar/15 11:26/~lp15/papers/Auth/ijcar2001-slides.pdf
7 25/Mar/15 11:26/~lp15/Sue/Cultures of Dance.html
6 27/Mar/15 00:37/~lp15/papers/Reviews/
6 13/Mar/15 04:08/~lp15/papers/Workshop/heule.html
6 0.04%15/Mar/15 14:28/~lp15/papers/Auth/SET-document.pdf
6 27/Mar/15 10:18/~lp15/papers/Workshop/owens.txt
6 25/Mar/15 23:03/~lp15/Grants/SET/final.pdf
6 23/Mar/15 08:15/~lp15/MLbook/first/ERRATA1.txt
6 0.01%25/Mar/15 21:42/~lp15/papers/Workshop/ayari.pdf
16611.50%27/Mar/15 04:41[not listed: 66 files]