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

Program started at Tue-25-Nov-2014 14:19.
Analysed requests from Sat-25-Oct-2014 04:32 to Tue-25-Nov-2014 14:11 (31.40 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 25-Nov-2014 14:19.

Successful requests: 24,634 (5,137)
Average successful requests per day: 784 (733)
Successful requests for pages: 5,466 (1,310)
Average successful requests for pages per day: 174 (187)
Failed requests: 658 (132)
Redirected requests: 156 (24)
Distinct files requested: 522 (411)
Distinct hosts served: 4,719 (1,148)
Corrupt logfile lines: 8
Unwanted logfile entries: 13,290
Data transferred: 6.06 gigabytes (1.85 gigabytes)
Average data transferred per day: 197.78 megabytes (270.09 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 
Sun3315815+++++++++++++++++++++++++++++++++++++++++
Mon4697842+++++++++++++++++++++++++++++++++++++++++++
Tue3785776+++++++++++++++++++++++++++++++++++++++
Wed3212703++++++++++++++++++++++++++++++++++++
Thu3632656+++++++++++++++++++++++++++++++++
Fri3106797++++++++++++++++++++++++++++++++++++++++
Sat2887877++++++++++++++++++++++++++++++++++++++++++++

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
549033.93%.com (Commercial)
894532.57%[unresolved numerical addresses]
2596 8.94%.net (Networks)
718 3.00%.de (Germany)
439 2.51%.in (India)
598 2.11%[domain not given]
1251 1.72%.uk (United Kingdom)
65 1.66%.jp (Japan)
1003 1.65%.edu (USA Higher Education)
179 1.55%.au (Australia)
101 1.04%.fr (France)
63 0.94%.at (Austria)
172 0.64%.ca (Canada)
499 0.56%.ru (Russia)
57 0.55%.th (Thailand)
204 0.52%.gr (Greece)
155 0.43%[unknown domain]
147 0.37%.br (Brazil)
158 0.35%.pk (Pakistan)
102 0.33%.cn (China)
112 0.33%.my (Malaysia)
108 0.31%.mx (Mexico)
75 0.24%.cz (Czech Republic)
56 0.22%.gh (Ghana)
59 0.21%.nl (Netherlands)
23 0.19%.nz (New Zealand)
72 0.19%.it (Italy)
36 0.18%.zw (Zimbabwe)
24 0.18%.lk (Sri Lanka)
102 0.17%.dk (Denmark)
68 0.15%.sg (Singapore)
56 0.13%.np (Nepal)
36 0.13%.ke (Kenya)
24 0.12%.cm (Cameroon)
38 0.12%.ph (Philippines)
62 0.12%.id (Indonesia)
11 0.11%.jo (Jordan)
9 0.11%.za (South Africa)
83 0.09%.pl (Poland)
37 0.09%.se (Sweden)
9 0.09%.ae (United Arab Emirates)
23 0.08%.ie (Ireland)
43 0.07%.es (Spain)
26 0.07%.pt (Portugal)
50 0.06%.org (Non Profit Making Organisations)
23 0.06%.vn (Vietnam)
22 0.06%.arpa (Arpanet)
12 0.05%.ir (Iran)
51 0.05%.tr (Turkey)
17 0.04%.ro (Romania)
21 0.04%.ar (Argentina)
29 0.04%.no (Norway)
8 0.04%.hu (Hungary)
28 0.03%.be (Belgium)
17 0.03%.tz (Tanzania)
25 0.03%.hr (Croatia)
21 0.03%.us (United States)
3 0.03%.mu (Mauritius)
16 0.03%.zm (Zambia)
3 0.03%.rw (Rwanda)
3 0.03%.cl (Chile)
3 0.03%.gy (Guyana)
3 0.03%.al (Albania)
9 0.03%.mil (USA Military)
5 0.02%.ug (Uganda)
9 0.02%.is (Iceland)
29 0.02%.ch (Switzerland)
1 0.01%.na (Namibia)
1 0.01%.sa (Saudi Arabia)
1 0.01%.kz (Kazakhstan)
4 0.01%.fi (Finland)
9 0.01%.lt (Lithuania)
6 0.01%.co (Colombia)
35 0.01%.il (Israel)
4 0.01%.gov (USA Government)
1 .eg (Egypt)
1 .ua (Ukraine)
2 .uy (Uruguay)
3 .hk (Hong Kong)
1 .tv (Tuvalu)
4 .sk (Slovakia)
1 .lu (Luxembourg)
4 .bd (Bangladesh)
3 .bg (Bulgaria)
3 .cy (Cyprus)
3 .am (Armenia)
1 .ee (Estonia)
2 .si (Slovenia)
1 .gl (Greenland)
1 .do (Dominican Republic)
1 .pe (Peru)

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
1037 6.13%msn.com
972 7.94%amazonaws.com
804 0.82%cam.ac.uk
702 2.63%117
665 2.61%41
598 2.11%[domain not given]
469 3.50%yandex.com
423 0.36%mail.ru
394 2.01%baidu.com
351 1.45%213.55
316 0.86%your-server.de
290 0.95%virginm.net
286 0.07%17
278 0.46%rr.com
275 1.03%39
274 1.28%123
250 0.76%112
234 0.95%14
211 0.39%119
208 0.39%comcast.net
1559763.31%[not listed: 1,234 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
338software
313engineering
240pdf
184notes
73in
49for
43of
36computer
28a
28http://www.cl.cam.ac.uk/~lp15/papers/notes/se
28i.pdf
25free
23on
21diploma
19the
19hindi
18download
15equivalence
15what
15file
14to
14and
12otes
12relation
12learning
11engi
11machine
11can
11eerimh
11language
819[not listed: 334 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
142421973OS unknown
2143101642Windows
 127731379  Unknown Windows
 1463240  Windows XP
 1712  Windows 2000
 98  Windows 98
 22  Windows ME
 191  Windows Server 2003
 270  Windows NT
32412913Macintosh
42071467Unix
 2058462  Linux
 84  Other Unix
 51  BSD
51548460Known robots
660Symbian 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
12738200 OK
11044206 Partial content
156301 Document moved permanently
852304 Not modified since last retrieval
79403 Access forbidden
527404 Document not found
5405 Method not allowed
47416 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
0986 
1B- 10B10 
11B- 100B5 
101B- 1kB307 
1kB- 10kB3546 0.23%
10kB-100kB12883 8.53%
100kB- 1MB640448.74%
1MB- 10MB43819.06%
10MB-100MB5523.43%

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
1689471.21%.pdf [Adobe Portable Document Format]
14314.98%.gz [Gzip compressed files]
6114.91%  .tar.gz [Compressed archives]
8711.90%.tbz
1016 0.53%.jpg [JPEG graphics]
3570 0.39%[directories]
1896 0.25%.html [Hypertext Markup Language]
3 0.25%.tgz
2 0.22%.zip [Zip archives]
1023 0.26%[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
652133.98%25/Nov/14 13:36/~lp15/papers/Notes/SE-I.pdf
3806 7.01%25/Nov/14 04:49/~lp15/papers/Reports/equivclasses-slides.pdf
1090 0.16%25/Nov/14 13:45/~lp15/
459 0.02%25/Nov/14 14:10/~lp15/MLbook/
459 0.12%25/Nov/14 13:45/~lp15/images/larry-paulson.jpg
440 0.36%25/Nov/14 13:45/~lp15/images/acm-logo.jpg
385 3.96%23/Nov/14 08:52/~lp15/papers/Reports/thesis.pdf
332 0.09%25/Nov/14 13:30/~lp15/papers/refereed.html
301 4.35%25/Nov/14 03:33/~lp15/Sue/Thesis.pdf
219 0.01%25/Nov/14 05:23/~lp15/MLbook/programs/
215 1.14%25/Nov/14 10:18/~lp15/papers/Notes/LCF+.pdf
210 0.39%25/Nov/14 09:29/~lp15/papers/Reports/fleuriot-kepler.pdf
190 0.03%25/Nov/14 00:52/~lp15/papers/Arith/
185 0.37%24/Nov/14 21:44/~lp15/papers/Notes/Founds-FP.pdf
169 0.56%25/Nov/14 12:54/~lp15/papers/Auth/jcs.pdf
131 0.34%25/Nov/14 11:48/~lp15/papers/Reports/equivclasses.pdf
128 24/Nov/14 21:11/~lp15/MLbook/exercises/
120 0.22%25/Nov/14 08:50/~lp15/papers/Isabelle/aisc98.pdf
118 0.20%25/Nov/14 13:34/~lp15/papers/Workshop/papers/voelker.pdf
104 0.01%25/Nov/14 07:03/~lp15/Sue/
101 0.21%23/Nov/14 15:46/~lp15/papers/Reports/TPHOLs05.pdf
97 0.28%24/Nov/14 17:59/~lp15/papers/Kammueller/sylow.pdf
97 0.09%25/Nov/14 14:01/~lp15/papers/Reports/mutil.pdf
96 2.16%25/Nov/14 11:27/~lp15/papers/Isabelle/Goedel-slides.pdf
95 0.02%25/Nov/14 12:47/~lp15/Grants/SET/
94 0.01%25/Nov/14 00:54/~lp15/MLbook/programs/sample2.sml
88 0.01%25/Nov/14 14:11/~lp15/MLbook/ERRATA.html
88 0.49%25/Nov/14 06:08/~lp15/papers/Arith/MetiTarski-jar.pdf
85 0.22%25/Nov/14 09:52/~lp15/papers/Auth/tls.pdf
82 0.01%25/Nov/14 08:59/~lp15/papers/Automation/
80 0.21%24/Nov/14 21:07/~lp15/papers/Sets/set-II.pdf
78 0.01%24/Nov/14 00:21/~lp15/MLbook/programs/sample3.sml
77 25/Nov/14 14:11/~lp15/MLbook/pub-details.html
76 0.22%24/Nov/14 16:19/~lp15/papers/Sets/set-I.pdf
72 0.15%25/Nov/14 01:47/~lp15/papers/Sets/AC.pdf
71 25/Nov/14 09:44/~lp15/Pages/cv.html
70 0.08%25/Nov/14 09:30/~lp15/papers/Auth/yahalom.pdf
69 0.01%25/Nov/14 12:08/~lp15/papers/Auth/
69 0.01%24/Nov/14 15:20/~lp15/papers/lecture-courses.html
68 0.01%24/Nov/14 10:37/~lp15/papers/Sets/
68 0.10%25/Nov/14 10:31/~lp15/Pages/vita.pdf
68 0.09%24/Nov/14 02:14/~lp15/papers/Arith/Narayanan DATE.pdf
67 0.11%25/Nov/14 11:08/~lp15/papers/Bella/esorics98.pdf
67 0.11%24/Nov/14 15:01/~lp15/papers/Automation/meng-termination.pdf
67 0.23%25/Nov/14 09:05/~lp15/papers/Arith/Sogokon-nfm14.pdf
66 0.20%25/Nov/14 08:15/~lp15/papers/Deduction/lecture1.pdf
66 0.93%23/Nov/14 18:40/~lp15/papers/Arith/ITP 2012 presentation.pdf
66 0.03%23/Nov/14 20:57/~lp15/Sue/Sue Paulson.jpg
65 0.22%18/Nov/14 04:58/~lp15/papers/Reports/popl82.pdf
65 0.13%25/Nov/14 12:47/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
65 0.15%24/Nov/14 22:46/~lp15/papers/Bella/registration.pdf
64 0.01%24/Nov/14 21:39/~lp15/MLbook/programs/sample4.sml
63 0.01%25/Nov/14 06:24/~lp15/MLbook/exercises/exer2.html
62 0.10%25/Nov/14 12:54/~lp15/papers/Bella/purchase.pdf
62 0.19%24/Nov/14 12:11/~lp15/papers/Bella/certified-email.pdf
61 0.14%25/Nov/14 10:03/~lp15/papers/Reports/blast.pdf
61 25/Nov/14 13:59/~lp15/papers/Notes/
10 24/Nov/14 22:57  /~lp15/papers/Notes/?C=N;O=D
61 0.07%25/Nov/14 07:17/~lp15/papers/Auth/SET-overview-2002.pdf
61 0.01%25/Nov/14 13:22/~lp15/archive/
60 25/Nov/14 13:52/~lp15/papers/Arith/download.html
60 0.01%25/Nov/14 04:14/~lp15/MLbook/programs/sample5.sml
59 25/Nov/14 00:33/~lp15/papers/
57 0.05%25/Nov/14 07:24/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
57 0.01%25/Nov/14 13:09/~lp15/Grants/UNITY/
56 0.01%25/Nov/14 14:11/~lp15/MLbook/review.html
54 25/Nov/14 14:08/~lp15/MLbook/general.html
54 24/Nov/14 14:53/~lp15/MLbook/first/
54 0.24%24/Nov/14 09:46/~lp15/Pages/Munich-slides.pdf
53 0.14%25/Nov/14 03:30/~lp15/papers/Sets/reflection.pdf
52 0.02%25/Nov/14 01:46/~lp15/MLbook/exercises/exer3.html
52 0.10%24/Nov/14 15:25/~lp15/papers/Bella/nonrepudiation.pdf
51 0.03%25/Nov/14 09:45/~lp15/images/pilkington.jpg
51 25/Nov/14 09:09/~lp15/papers/Arith/qepcad-for-mac.html
51 0.01%25/Nov/14 02:37/~lp15/papers/Reports/
50 0.07%25/Nov/14 06:36/~lp15/papers/Sets/constructible-abstract.pdf
50 0.09%24/Nov/14 07:10/~lp15/papers/Arith/SNC2014-invited.pdf
49 0.01%24/Nov/14 20:40/~lp15/MLbook/first/programs/Lists-Trees.ML
48 0.01%24/Nov/14 18:57/~lp15/MLbook/exercises/exer5.html
48 0.13%25/Nov/14 02:55/~lp15/papers/Arith/cicm2012.pdf
47 0.01%24/Nov/14 10:03/~lp15/MLbook/programs/sample9.sml
47 25/Nov/14 14:08/~lp15/papers/Workshop/
47 0.17%25/Nov/14 06:49/~lp15/papers/Bella/accountability.pdf
47 24/Nov/14 16:27/~lp15/papers/workshop.html
46 0.01%24/Nov/14 05:12/~lp15/MLbook/exercises/exer4.html
46 0.18%24/Nov/14 22:14/~lp15/papers/Bella/smartcards-jcs.pdf
45 25/Nov/14 11:08/~lp15/Pages/projects.html
44 25/Nov/14 12:11/~lp15/Grants/
44 0.33%25/Nov/14 11:01/~lp15/papers/Bella/purchase-JAR.pdf
44 22/Nov/14 23:29/~lp15/MLbook/first/programs/Functions.ML
44 25/Nov/14 07:43/~lp15/Grants/LEO-II/
43 25/Nov/14 10:54/~lp15/MLbook/programs/ROOT.sml
42 0.11%23/Nov/14 16:03/~lp15/papers/Sets/milner-ind-defs.pdf
42 0.01%24/Nov/14 16:56/~lp15/Grants/AutoPolyFun/
40 25/Nov/14 02:49/~lp15/Grants/Automation/
40 0.20%24/Nov/14 05:11/~lp15/papers/Bella/TPHOLs03-slides.pdf
39 25/Nov/14 05:22/~lp15/papers/UNITY/
38 24/Nov/14 13:39/~lp15/MLbook/disclaimer.html
38 0.10%24/Nov/14 20:12/~lp15/papers/Automation/translations.pdf
37 0.08%20/Nov/14 06:32/~lp15/papers/Auth/multicast_verification.pdf
37 0.01%24/Nov/14 03:56/~lp15/Pages/ACS-proposals.html
37 0.09%25/Nov/14 09:54/~lp15/papers/Bella/esorics2000.pdf
36 0.02%25/Nov/14 05:23/~lp15/MLbook/first/ML-syntax.ps.gz
35 24/Nov/14 20:20/~lp15/Pages/
35 0.14%24/Nov/14 16:47/~lp15/papers/Sets/constructible-slides.pdf
35 0.06%25/Nov/14 07:32/~lp15/papers/Bella/dimacs97.pdf
35 0.07%25/Nov/14 07:08/~lp15/papers/Automation/IJCAR2004.pdf
35 0.06%24/Nov/14 20:47/~lp15/papers/Automation/paar.pdf
35 0.01%25/Nov/14 05:27/~lp15/MLbook/exercises/exer8.html
34 0.01%23/Nov/14 19:00/~lp15/MLbook/programs/sample7.sml
34 24/Nov/14 14:04/~lp15/papers/isabelle.html
34 0.11%24/Nov/14 22:14/~lp15/papers/Workshop/papers/kammueller.pdf
33 0.12%25/Nov/14 00:22/~lp15/papers/Reports/Bridge-ml.pdf
33 0.01%23/Nov/14 19:03/~lp15/MLbook/programs/sample8.sml
33 0.03%23/Nov/14 19:08/~lp15/Sue/Cultures of Dance.ppt
33 0.15%24/Nov/14 17:48/~lp15/papers/UNITY/UNITY.pdf
32 0.03%23/Nov/14 23:10/~lp15/Usage/
32 22/Nov/14 11:49/~lp15/papers/Isabelle/
32 0.01%24/Nov/14 12:12/~lp15/MLbook/exercises/exer6.html
32 0.05%24/Nov/14 21:44/~lp15/papers/Arith/fmcad2009.pdf
32 24/Nov/14 22:46/~lp15/papers/hol.html
32 0.04%24/Nov/14 18:26/~lp15/papers/Auth/lics.pdf
31 25/Nov/14 13:51/~lp15/images/
31 0.19%25/Nov/14 06:23/~lp15/papers/Sets/constructible-theory.pdf
31 0.12%24/Nov/14 02:08/~lp15/papers/Workshop/papers/rasmussen.pdf
31 0.08%23/Nov/14 15:12/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
30 0.09%25/Nov/14 13:41/~lp15/papers/Automation/filtering.pdf
30 0.06%24/Nov/14 19:53/~lp15/papers/Arith/case-splitting.pdf
30 0.13%25/Nov/14 13:17/~lp15/papers/Arith/calculemus2008.pdf
30 0.27%23/Nov/14 22:27/~lp15/papers/Arith/metit-slides.pdf
30 24/Nov/14 05:19/~lp15/papers/books.html
30 24/Nov/14 21:39/~lp15/MLbook/exercises/disclaimer.html
29 0.21%22/Nov/14 02:14/~lp15/papers/Reports/TypeClasses.pdf
29 25/Nov/14 05:22/~lp15/MLbook/first/programs/
29 0.01%24/Nov/14 23:49/~lp15/MLbook/programs/sample10.sml
29 0.13%25/Nov/14 03:44/~lp15/papers/Automation/filtering-jal.pdf
29 0.06%22/Nov/14 15:25/~lp15/papers/Arith/lpar2007.pdf
29 0.01%25/Nov/14 00:15/~lp15/papers/invited.html
29 0.08%22/Nov/14 10:39/~lp15/papers/Workshop/papers/vigano.pdf
28 0.01%24/Nov/14 20:13/~lp15/MLbook/exercises/exer7.html
27 24/Nov/14 11:51/~lp15/Data/ho-translations/
27 0.08%24/Nov/14 21:25/~lp15/papers/Arith/case-splitting-stats.csv
27 25/Nov/14 13:29/~lp15/papers/recur.html
27 0.06%25/Nov/14 12:03/~lp15/papers/Automation/cade2011-sledge-smt.pdf
27 0.04%25/Nov/14 13:06/~lp15/papers/Arith/ITP-2012-invited.pdf
26 25/Nov/14 01:42/~lp15/Pages/CL-English.html
26 0.15%24/Nov/14 16:19/~lp15/papers/Notes/formalizing-abst-slides.pdf
26 25/Nov/14 13:59/~lp15/papers/Workshop/papers/
26 0.04%25/Nov/14 06:10/~lp15/papers/Arith/pdpar2006.pdf
26 24/Nov/14 22:37/~lp15/papers/Kammueller/
26 0.05%25/Nov/14 09:57/~lp15/papers/Arith/Hscc09.pdf
26 0.21%25/Nov/14 08:49/~lp15/papers/Automation/info-and-comp.pdf
25 0.01%24/Nov/14 03:24/~lp15/MLbook/programs/test10.sml
25 0.03%25/Nov/14 11:13/~lp15/papers/Workshop/papers/ayari.pdf
25 25/Nov/14 00:07/~lp15/papers/Bella/
25 0.07%24/Nov/14 15:47/~lp15/papers/Auth/SET-overview-IJIS.pdf
25 0.05%25/Nov/14 03:08/~lp15/papers/Notes/strategy.pdf
25 0.05%21/Nov/14 09:13/~lp15/papers/Workshop/papers/kalvala-linear.pdf
25 0.07%25/Nov/14 09:52/~lp15/papers/UNITY/Mechanizing-compositional.pdf
24 24/Nov/14 11:51/~lp15/MLbook/programs/notes.html
24 0.10%25/Nov/14 12:12/~lp15/papers/Automation/translations-jar.pdf
24 24/Nov/14 02:57/~lp15/Grants/BeyondLinArith/
24 0.03%25/Nov/14 05:14/~lp15/papers/Isabelle/Goedel-logic.pdf
24 24/Nov/14 14:31/~lp15/MLbook/first/programs/Lambda.ML
24 0.05%24/Nov/14 18:49/~lp15/papers/Workshop/papers/owens.pdf
23 0.04%20/Nov/14 21:43/~lp15/papers/Bella/cav98.pdf
23 0.08%25/Nov/14 00:35/~lp15/papers/Isabelle/Goedel-ar.pdf
23 24/Nov/14 06:55/~lp15/Grants/holisa.html
23 25/Nov/14 13:01/~lp15/papers/Arith/atan-problem-1-weak.html
23 24/Nov/14 22:38/~lp15/MLbook/programs/sample3-old.sml
23 25/Nov/14 05:20/~lp15/papers/Workshop/programme.html
22 25/Nov/14 05:22/~lp15/papers/Workshop/nipkow.html
22 25/Nov/14 14:05/~lp15/papers/Reviews/
22 25/Nov/14 05:20/~lp15/papers/Workshop/matthews.html
22 0.01%24/Nov/14 19:44/~lp15/Grants/SET/case.pdf
22 25/Nov/14 05:21/~lp15/papers/Workshop/paulson.html
22 0.10%25/Nov/14 05:58/~lp15/papers/Automation/reconstruction.pdf
22 0.09%21/Nov/14 06:29/~lp15/papers/Reports/intro-to-isabelle.pdf
22 25/Nov/14 05:20/~lp15/papers/Workshop/participants.html
21 24/Nov/14 14:04/~lp15/papers/Deduction/
21 0.03%24/Nov/14 15:11/~lp15/Grants/Automation/final.pdf
21 25/Nov/14 00:34/~lp15/MLbook/programs/sample8-2004.sml
21 0.01%24/Nov/14 01:09/~lp15/MLbook/programs/sample10-old.sml
21 0.03%25/Nov/14 01:48/~lp15/papers/Notes/leeds-notes.pdf
21 0.03%24/Nov/14 16:06/~lp15/papers/Auth/ijcar2001.pdf
20 0.02%25/Nov/14 12:13/~lp15/Grants/LEO-II/leo2-case.pdf
20 0.12%21/Nov/14 05:57/~lp15/Grants/Automation/poster.pdf
20 0.05%23/Nov/14 23:18/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
20 0.01%20/Nov/14 17:15/~lp15/papers/Reviews/construct.pdf
20 24/Nov/14 22:06/~lp15/papers/Ballarin/
20 25/Nov/14 09:16/~lp15/papers/Arith/RELEASE-NOTES.txt
20 23/Nov/14 23:40/~lp15/MLbook/programs/sample9-2004.sml
20 0.02%25/Nov/14 01:26/~lp15/papers/Auth/recur-slides.pdf
20 0.02%25/Nov/14 07:14/~lp15/papers/Reports/CADE9.pdf
20 25/Nov/14 05:23/~lp15/MLbook/first/ERRATA1.txt
20 23/Nov/14 12:29/~lp15/MLbook/first/programs/Imperative.ML
20 0.03%25/Nov/14 04:15/~lp15/papers/Sets/final.pdf
20 23/Nov/14 18:54/~lp15/Data/relevance/
19 0.04%24/Nov/14 16:08/~lp15/papers/Automation/jar-smt.pdf
19 24/Nov/14 00:22/~lp15/Grants/Chaieb.html
18 24/Nov/14 09:35/~lp15/tmp/
18 0.04%25/Nov/14 10:27/~lp15/papers/UNITY/ehmety-composition.pdf
18 25/Nov/14 05:21/~lp15/papers/Workshop/staples.html
18 24/Nov/14 01:42/~lp15/Grants/auth.html
18 25/Nov/14 04:37/~lp15/MLbook/programs/sample8-old.sml
18 0.04%23/Nov/14 03:09/~lp15/papers/Workshop/papers/thompson.pdf
18 0.08%25/Nov/14 06:01/~lp15/papers/Workshop/papers/bednarczyk.pdf
18 0.03%20/Nov/14 05:40/~lp15/papers/Isabelle/coding.pdf
18 0.08%21/Nov/14 03:59/~lp15/papers/Deduction/lecture3.pdf
18 0.01%24/Nov/14 07:02/~lp15/Usage/images/
17 0.05%24/Nov/14 19:04/~lp15/papers/Notes/MOD-slides.pdf
17 25/Nov/14 05:21/~lp15/papers/Workshop/thompson.html
17 0.02%22/Nov/14 02:49/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
17 0.02%25/Nov/14 06:04/~lp15/papers/Reports/CADE11.pdf
17 0.50%24/Nov/14 07:10/~lp15/papers/Arith/SNC2014-slides.pdf
17 22/Nov/14 16:31/~lp15/css/
16 0.02%24/Nov/14 15:59/~lp15/papers/Workshop/front.pdf
16 0.02%24/Nov/14 23:32/~lp15/papers/Arith/FroCoS-2013-invited.pdf
16 0.06%25/Nov/14 09:44/~lp15/papers/Auth/SET-document.pdf
16 0.03%24/Nov/14 08:41/~lp15/papers/Automation/leo2-ijcar.pdf
16 0.03%20/Nov/14 23:59/~lp15/papers/UNITY/tphols01.pdf
16 24/Nov/14 08:19/~lp15/Templates/
16 0.01%25/Nov/14 11:35/~lp15/Grants/UNITY/case.pdf
16 25/Nov/14 05:21/~lp15/papers/Workshop/agerholm.html
16 0.04%25/Nov/14 07:12/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
16 23/Nov/14 09:02/~lp15/Grants/temporal.html
16 25/Nov/14 05:23/~lp15/MLbook/StandardML.plist
16 1.06%24/Nov/14 03:15/~lp15/papers/Arith/FroCos-presentation.pdf
15 25/Nov/14 05:54/~lp15/MLbook/first/programs/ParsePrint.ML
15 23/Nov/14 13:30/~lp15/Grants/arith.html
15 25/Nov/14 05:21/~lp15/papers/Workshop/kalvala.html
15 25/Nov/14 12:47/~lp15/Grants/SET/final.pdf
15 22/Nov/14 18:02/~lp15/SpryAssets/
15 0.26%24/Nov/14 08:00/~lp15/papers/Auth/lics-slides.pdf
15 3.27%25/Nov/14 05:19/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
15 0.02%24/Nov/14 05:56/~lp15/papers/Auth/security-protocols.pdf
15 0.03%23/Nov/14 20:29/~lp15/Grants/AutoPolyFun/case.pdf
15 0.01%22/Nov/14 21:23/~lp15/MLbook/first/programs/Hal.ML
14 0.06%23/Nov/14 22:03/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
14 0.02%24/Nov/14 15:14/~lp15/papers/Workshop/papers/benini.pdf
14 25/Nov/14 05:21/~lp15/papers/Workshop/owens.txt
14 0.05%19/Nov/14 20:39/~lp15/papers/UNITY/composition.pdf
14 0.03%25/Nov/14 03:08/~lp15/papers/Arith/Huang-3heuristics.pdf
14 0.03%23/Nov/14 23:40/~lp15/papers/Workshop/papers/matthews.pdf
14 22/Nov/14 21:31/~lp15/MLbook/first/programs/Modules.ML
14 0.08%24/Nov/14 12:16/~lp15/papers/Auth/SET-overview-slides.pdf
14 0.07%25/Nov/14 07:16/~lp15/papers/Reports/logics97.pdf
14 0.40%25/Nov/14 14:10/~lp15/Sue/Thesis-Appendices.pdf
13 0.01%25/Nov/14 09:49/~lp15/papers/Notes/strategy-slides.pdf
13 0.02%25/Nov/14 10:12/~lp15/papers/Workshop/papers/staples.pdf
13 0.02%21/Nov/14 07:50/~lp15/Grants/Chaieb-case.pdf
13 0.01%25/Nov/14 05:32/~lp15/papers/paulson.bib
13 0.01%23/Nov/14 07:04/~lp15/papers/Reviews/MLer.pdf
13 0.03%25/Nov/14 06:38/~lp15/papers/Workshop/papers/nipkow.pdf
13 0.01%24/Nov/14 07:50/~lp15/papers/Arith/Overcoming.pdf
13 0.04%25/Nov/14 01:16/~lp15/papers/Sets/reflection-slides.pdf
13 24/Nov/14 06:42/~lp15/Data/
13 0.03%25/Nov/14 08:53/~lp15/papers/Isabelle/sylow.pdf
13 0.04%18/Nov/14 17:35/~lp15/papers/Deduction/lecture4.pdf
13 0.11%24/Nov/14 06:40/~lp15/Grants/arith-case.pdf
13 0.11%25/Nov/14 12:05/~lp15/papers/Auth/dagstuhl2003-slides.pdf
13 0.02%25/Nov/14 09:52/~lp15/papers/Automation/thf-sledge.pdf
13 24/Nov/14 07:48/~lp15/papers/Sets/AC-slides.pdf
13 25/Nov/14 05:23/~lp15/MLbook/first/ERRATA2.txt
12 25/Nov/14 05:23/~lp15/MLbook/first/ERRATA3.txt
12 25/Nov/14 05:21/~lp15/papers/Workshop/bednarczyk.txt
12 0.10%24/Nov/14 19:47/~lp15/papers/Automation/reconstruction-slides.pdf
12 0.01%23/Nov/14 20:39/~lp15/papers/Arith/NFM2014-invited.pdf
12 0.06%25/Nov/14 07:14/~lp15/Data/relevance/tptp-2007-03-13.tbz
12 0.03%24/Nov/14 18:14/~lp15/papers/Ballarin/aisc98.pdf
12 24/Nov/14 16:07/~lp15/papers/Workshop/futures.html
12 0.15%25/Nov/14 05:10/~lp15/papers/Auth/ijcar2001-slides.pdf
12 24/Nov/14 04:09/~lp15/Sue/Cultures of Dance.html
11 0.01%25/Nov/14 06:23/~lp15/papers/Auth/auth-slides.pdf
11 0.12%23/Nov/14 15:56/~lp15/papers/Reports/TypeClasses-slides.pdf
11 0.13%20/Nov/14 19:42/~lp15/papers/Isabelle/Cube-presentation.pdf
11 0.01%24/Nov/14 15:10/~lp15/Grants/Automation/case.pdf
11 0.01%22/Nov/14 04:10/~lp15/papers/Workshop/vigano.pdf
11 3.77%25/Nov/14 05:19/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
11 25/Nov/14 11:16/~lp15/Grants/temporal-final.pdf
11 25/Nov/14 05:20/~lp15/Data/relevance/unfiltered-E.txt
11 0.03%25/Nov/14 10:57/~lp15/papers/Workshop/papers/agerholm.pdf
10 0.71%25/Nov/14 05:19/~lp15/Data/ho-translations/Comb.tbz
10 25/Nov/14 05:19/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
10 0.04%21/Nov/14 02:16/~lp15/papers/Auth/tls-slides.pdf
10 0.29%25/Nov/14 06:17/~lp15/Sue/Phd-Poster.pdf
10 24/Nov/14 15:19/~lp15/MLbook/first/programs/edits.txt
10 0.34%25/Nov/14 05:54/~lp15/Grants/LEO-II/leo project poster.pdf
10 0.01%24/Nov/14 01:06/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
10 25/Nov/14 05:18/~lp15/Data/ho-translations/Theories.tbz
10 0.01%24/Nov/14 23:27/~lp15/papers/Workshop/kammueller.pdf
10 3.50%25/Nov/14 05:19/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
10 0.04%25/Nov/14 06:54/~lp15/papers/Arith/Narayanan TR.pdf
10 25/Nov/14 05:56/~lp15/Data/relevance/unfiltered-vampire.txt
10 0.03%21/Nov/14 04:07/~lp15/papers/Ballarin/coding.pdf
9 21/Nov/14 05:28/~lp15/Grants/UNITY/final.pdf
9 24/Nov/14 01:29/~lp15/papers/Workshop/heule.html
9 20/Nov/14 19:09/~lp15/papers/Sets/ind-defs-slides.pdf
9 0.60%25/Nov/14 05:19/~lp15/Data/ho-translations/Abst.tbz
8 0.11%24/Nov/14 07:25/~lp15/papers/Auth/dagstuhl2001-slides.pdf
8 0.25%25/Nov/14 13:39/~lp15/papers/Arith/Overcoming-slides.pdf
8 25/Nov/14 05:20/~lp15/Data/relevance/unfiltered-spass.txt
22415.87%25/Nov/14 06:20[not listed: 83 files]