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

Program started at Mon-25-May-2015 21:04.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-25-May-2015 21:01 (201.25 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-May-2015 21:04.

Successful requests: 21,030 (5,633)
Average successful requests per day: 104 (804)
Successful requests for pages: 6,509 (2,552)
Average successful requests for pages per day: 32 (364)
Failed requests: 1,045 (226)
Redirected requests: 131 (57)
Distinct files requested: 465 (344)
Distinct hosts served: 4,351 (983)
Unwanted logfile entries: 13,352
Data transferred: 6.19 gigabytes (1.19 gigabytes)
Average data transferred per day: 31.48 megabytes (174.69 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 
Sun3059944++++++++++++++++++++++++++++++++
Mon3081947++++++++++++++++++++++++++++++++
Tue2523719++++++++++++++++++++++++
Wed30831045+++++++++++++++++++++++++++++++++++
Thu2926882++++++++++++++++++++++++++++++
Fri34261134++++++++++++++++++++++++++++++++++++++
Sat2932838++++++++++++++++++++++++++++

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
617330.79%.com (Commercial)
490221.03%[unresolved numerical addresses]
480 9.10%.org (Non Profit Making Organisations)
653 6.75%.cn (China)
1617 6.35%.net (Networks)
788 4.52%.jp (Japan)
712 4.52%[domain not given]
2575 3.23%.de (Germany)
229 2.46%[unknown domain]
77 1.60%.fr (France)
285 1.52%.in (India)
645 1.10%.uk (United Kingdom)
153 1.05%.pk (Pakistan)
109 0.89%.ru (Russia)
300 0.71%.edu (USA Higher Education)
55 0.49%.id (Indonesia)
70 0.38%.pl (Poland)
139 0.37%.au (Australia)
107 0.33%.it (Italy)
54 0.20%.ke (Kenya)
27 0.19%.nl (Netherlands)
38 0.15%.es (Spain)
12 0.15%.dk (Denmark)
13 0.11%.tw (Taiwan)
20 0.11%.ir (Iran)
42 0.11%.mx (Mexico)
18 0.10%.hu (Hungary)
22 0.10%.ro (Romania)
46 0.10%.ca (Canada)
35 0.09%.ar (Argentina)
44 0.08%.zw (Zimbabwe)
3 0.08%.gt (Guatemala)
12 0.08%.co (Colombia)
25 0.07%.tr (Turkey)
7 0.07%.ie (Ireland)
79 0.07%.gr (Greece)
16 0.06%.za (South Africa)
20 0.06%.ch (Switzerland)
71 0.06%.se (Sweden)
48 0.06%.sg (Singapore)
42 0.06%.cz (Czech Republic)
9 0.05%.vn (Vietnam)
6 0.04%.nz (New Zealand)
33 0.04%.at (Austria)
15 0.04%.ug (Uganda)
3 0.04%.bg (Bulgaria)
34 0.03%.br (Brazil)
1 0.03%.gh (Ghana)
4 0.03%.arpa (Arpanet)
2 0.03%.kh (Cambodia)
29 0.03%.il (Israel)
5 0.03%.th (Thailand)
7 0.02%.no (Norway)
14 0.02%.be (Belgium)
3 0.02%.uz (Uzbekistan)
4 0.02%.ae (United Arab Emirates)
3 0.02%.ua (Ukraine)
1 0.01%.cl (Chile)
1 0.01%.bd (Bangladesh)
6 0.01%.na (Namibia)
10 0.01%.sk (Slovakia)
3 0.01%.st (Saint Tome and Principe)
6 0.01%.mil (USA Military)
7 0.01%.us (United States)
8 0.01%.info (Informational)
6 0.01%.pt (Portugal)
9 0.01%.lt (Lithuania)
6 0.01%.fi (Finland)
3 0.01%.mn (Mongolia)
2 .ee (Estonia)
2 .lu (Luxembourg)
6 .hk (Hong Kong)
1 .uy (Uruguay)
4 .my (Malaysia)
1 .am (Armenia)
2 .kr (South Korea)
1 .hr (Croatia)
2 .is (Iceland)
1 .ps (Occupied Palestinian Territory)
1 .cr (Costa Rica)
1 .kz (Kazakhstan)
3 .ly (Libya)
2 .by (Belarus)

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
1997 1.97%your-server.de
178513.77%msn.com
1041 3.94%amazonaws.com
800 2.45%yandex.com
732 5.93%twttr.com
712 4.52%[domain not given]
596 2.75%cnsat.com.cn
433 0.54%cam.ac.uk
432 9.01%archive.org
364 3.01%199.16
307 0.80%baidu.com
229 2.46%[unknown domain]
229 0.85%117
191 1.00%41
184 page2rss.com
163 0.45%comcast.net
163 0.35%virginm.net
155 0.66%5
137 0.60%39
122 0.28%t-ipconnect.de
1025844.66%[not listed: 1,200 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
177software
170engineering
138pdf
106notes
68in
57of
29computer
20compilers
20semantic
19for
18and
17gate
16set
13science
12failure
12equivalence
12on
12i.pdf
12subject
11is
11diploma
11http://www.cl.cam.ac.uk/~lp15/papers/notes/se
11rules
11hindi
10pascal
10simple
10major
10grammar
9causes
9download
459[not listed: 207 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
159882135OS unknown
222251705Known robots
384311503Windows
 75881308  Unknown Windows
 811177  Windows XP
 138  Windows 2000
 54  Windows 98
 124  Windows NT
 22  Windows Server 2003
42499723Macintosh
51830434Unix
 1818426  Linux
 107  Other Unix
 21  BSD
650Symbian 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
15367200 OK
5002206 Partial content
131301 Document moved permanently
661304 Not modified since last retrieval
344403 Access forbidden
695404 Document not found
5405 Method not allowed
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
0984 
1B- 10B8 
11B- 100B1 
101B- 1kB241 
1kB- 10kB3977 0.27%
10kB-100kB8184 5.00%
100kB- 1MB702546.68%
1MB- 10MB55622.77%
10MB-100MB5425.29%

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
1230468.55%.pdf [Adobe Portable Document Format]
19320.81%.gz [Gzip compressed files]
10420.73%  .tar.gz [Compressed archives]
67 8.13%.tbz
1004 0.89%.jpg [JPEG graphics]
4198 0.49%[directories]
3 0.33%.zip [Zip archives]
2311 0.31%.html [Hypertext Markup Language]
3 0.24%.tgz
625 0.10%.sml
322 0.15%[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
264117.52%25/May/15 19:46/~lp15/papers/Formath/Goedel-ar.pdf
210312.99%25/May/15 17:36/~lp15/papers/Notes/SE-I.pdf
1373 3.66%25/May/15 19:06/~lp15/papers/Reports/equivclasses-slides.pdf
922 0.13%25/May/15 20:38/~lp15/
589 0.02%25/May/15 19:18/~lp15/MLbook/
584 7.88%25/May/15 06:49/~lp15/papers/Reports/thesis.pdf
421 0.46%25/May/15 20:38/~lp15/images/larry-home-small.jpg
410 0.33%25/May/15 20:38/~lp15/images/acm-logo.jpg
361 0.11%25/May/15 18:31/~lp15/papers/refereed.html
332 0.69%25/May/15 19:19/~lp15/papers/Notes/Founds-FP.pdf
280 4.15%24/May/15 11:35/~lp15/Sue/Thesis.pdf
242 0.03%25/May/15 19:59/~lp15/papers/Arith/
206 0.01%25/May/15 19:21/~lp15/MLbook/programs/
187 0.29%25/May/15 14:00/~lp15/papers/Formath/Goedel-logic.pdf
167 0.39%25/May/15 12:45/~lp15/papers/Reports/popl82.pdf
150 0.02%25/May/15 14:56/~lp15/papers/Formath/
146 0.02%25/May/15 16:06/~lp15/Pages/Scream.html
143 0.28%24/May/15 18:39/~lp15/papers/Reports/fleuriot-kepler.pdf
140 0.02%25/May/15 20:38/~lp15/Sue/
138 0.03%25/May/15 21:01/~lp15/papers/Auth/
132 0.02%25/May/15 18:07/~lp15/papers/Automation/
122 0.47%25/May/15 05:41/~lp15/papers/Auth/jcs.pdf
120 0.20%25/May/15 18:19/~lp15/papers/Isabelle/aisc98.pdf
120 0.35%25/May/15 19:31/~lp15/papers/Reports/equivclasses.pdf
119 25/May/15 15:15/~lp15/MLbook/exercises/
101 0.21%25/May/15 19:59/~lp15/papers/Auth/tls.pdf
98 25/May/15 15:12/~lp15/MLbook/pub-details.html
98 0.09%25/May/15 19:45/~lp15/papers/Reports/mutil.pdf
95 0.01%25/May/15 15:04/~lp15/Grants/LEO-II/
93 0.02%25/May/15 20:04/~lp15/Grants/SET/
92 0.01%25/May/15 15:02/~lp15/Grants/
91 0.01%25/May/15 20:39/~lp15/Pages/cv.html
91 0.29%24/May/15 13:11/~lp15/papers/Formath/set-I.pdf
90 0.01%25/May/15 14:44/~lp15/archive/
89 0.01%25/May/15 09:48/~lp15/papers/Workshop/
89 0.30%25/May/15 14:25/~lp15/Pages/Munich-slides.pdf
89 0.01%25/May/15 14:43/~lp15/Grants/AutoPolyFun/
87 0.01%25/May/15 15:03/~lp15/papers/lecture-courses.html
85 0.09%23/May/15 14:30/~lp15/papers/Auth/SET-overview-2002.pdf
80 0.16%24/May/15 11:55/~lp15/papers/Formath/AC.pdf
80 0.08%25/May/15 16:08/~lp15/papers/Auth/yahalom.pdf
79 25/May/15 18:06/~lp15/MLbook/programs/sample2.sml
79 0.01%25/May/15 14:50/~lp15/papers/Reports/
74 0.01%25/May/15 15:17/~lp15/papers/Isabelle/
70 25/May/15 15:21/~lp15/MLbook/general.html
69 0.07%25/May/15 16:40/~lp15/Usage/
68 0.10%23/May/15 12:38/~lp15/Pages/vita.pdf
67 0.26%25/May/15 13:30/~lp15/papers/Bella/smartcards-jcs.pdf
66 0.01%25/May/15 09:47/~lp15/MLbook/review.html
66 25/May/15 09:48/~lp15/papers/
66 0.50%25/May/15 09:21/~lp15/papers/Isabelle/Goedel-ar.pdf
64 0.41%23/May/15 22:57/~lp15/papers/Arith/MetiTarski-jar.pdf
63 0.01%25/May/15 16:45/~lp15/papers/UNITY/
63 2.03%22/May/15 14:13/~lp15/papers/Formath/Goedel-slides.pdf
63 0.02%25/May/15 09:48/~lp15/Grants/UNITY/
62 0.01%25/May/15 19:38/~lp15/MLbook/programs/sample4.sml
61 0.01%25/May/15 20:02/~lp15/MLbook/exercises/exer2.html
61 0.01%25/May/15 15:02/~lp15/Grants/Automation/
60 25/May/15 14:54/~lp15/Pages/CL-English.html
60 0.01%25/May/15 09:47/~lp15/MLbook/programs/sample5.sml
58 0.01%25/May/15 09:47/~lp15/MLbook/programs/sample3.sml
57 0.01%25/May/15 05:04/~lp15/images/larry-paulson.jpg
57 0.01%25/May/15 15:18/~lp15/papers/invited.html
56 0.01%25/May/15 20:16/~lp15/papers/workshop.html
55 25/May/15 15:06/~lp15/Grants/BeyondLinArith/
55 0.10%25/May/15 14:45/~lp15/papers/Automation/meng-termination.pdf
55 0.02%25/May/15 20:38/~lp15/Sue/Sue Paulson.jpg
54 25/May/15 10:37/~lp15/Pages/projects.html
53 25/May/15 09:48/~lp15/papers/Arith/qepcad-for-mac.html
53 0.16%25/May/15 06:33/~lp15/papers/Bella/accountability.pdf
52 25/May/15 09:48/~lp15/papers/Arith/download.html
52 0.03%25/May/15 20:39/~lp15/images/pilkington.jpg
52 0.12%25/May/15 16:57/~lp15/papers/Reports/TPHOLs05.pdf
52 25/May/15 14:45/~lp15/papers/hol.html
52 0.01%25/May/15 09:48/~lp15/MLbook/exercises/exer8.html
51 0.18%25/May/15 04:26/~lp15/papers/Automation/filtering.pdf
51 0.01%25/May/15 19:51/~lp15/MLbook/ERRATA.html
50 25/May/15 15:05/~lp15/papers/books.html
48 0.07%24/May/15 11:48/~lp15/papers/Arith/Narayanan DATE.pdf
47 25/May/15 09:49/~lp15/papers/Deduction/
47 0.01%25/May/15 18:06/~lp15/MLbook/programs/sample10.sml
47 0.02%23/May/15 22:38/~lp15/papers/Reviews/MLer.pdf
46 25/May/15 09:48/~lp15/papers/Notes/
46 25/May/15 17:35/~lp15/MLbook/disclaimer.html
45 25/May/15 09:49/~lp15/Data/relevance/
44 25/May/15 09:47/~lp15/MLbook/first/
44 0.09%25/May/15 17:31/~lp15/papers/Bella/registration.pdf
43 25/May/15 09:49/~lp15/Data/ho-translations/
43 0.09%25/May/15 05:05/~lp15/papers/Reports/blast.pdf
43 0.08%24/May/15 12:58/~lp15/papers/Bella/esorics98.pdf
43 0.09%24/May/15 20:33/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
43 0.04%25/May/15 19:47/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
42 0.07%25/May/15 11:37/~lp15/papers/Bella/purchase.pdf
41 6.46%10/May/15 05:22/~lp15/archive/Isabelle2013.tar.gz
41 25/May/15 16:37/~lp15/papers/Arith/atan-problem-1-weak.html
41 25/May/15 15:12/~lp15/papers/recur.html
41 0.06%24/May/15 11:36/~lp15/papers/Auth/lics.pdf
39 0.01%25/May/15 09:48/~lp15/MLbook/exercises/exer3.html
39 0.52%25/May/15 00:56/~lp15/papers/Reports/TypeClasses.pdf
39 0.04%23/May/15 23:08/~lp15/Grants/LEO-II/leo2-case.pdf
39 0.06%21/May/15 15:54/~lp15/papers/Isabelle/chap700.pdf
39 0.02%25/May/15 20:02/~lp15/papers/Reviews/construct.pdf
38 25/May/15 09:47/~lp15/MLbook/programs/ROOT.sml
38 0.08%23/May/15 13:37/~lp15/papers/Workshop/papers/voelker.pdf
38 0.03%25/May/15 20:42/~lp15/papers/Reports/CADE9.pdf
36 0.01%25/May/15 09:47/~lp15/MLbook/programs/sample8.sml
36 0.01%25/May/15 09:47/~lp15/MLbook/programs/sample9.sml
36 0.01%25/May/15 09:48/~lp15/MLbook/exercises/exer5.html
36 0.13%25/May/15 20:58/~lp15/papers/Auth/SET-overview-IJIS.pdf
36 0.09%25/May/15 18:45/~lp15/papers/Bella/esorics2000.pdf
36 0.08%21/May/15 04:35/~lp15/papers/Arith/Hscc09.pdf
35 0.06%24/May/15 03:43/~lp15/papers/Workshop/papers/ayari.pdf
35 25/May/15 14:58/~lp15/papers/Bella/
35 0.16%24/May/15 08:12/~lp15/papers/Workshop/papers/bednarczyk.pdf
34 0.01%25/May/15 09:47/~lp15/MLbook/programs/sample7.sml
34 0.01%25/May/15 07:43/~lp15/MLbook/first/programs/Lists-Trees.ML
34 25/May/15 09:48/~lp15/MLbook/first/programs/
34 0.01%25/May/15 09:48/~lp15/MLbook/exercises/exer6.html
34 0.70%25/May/15 13:52/~lp15/papers/Auth/lics-slides.pdf
34 0.01%25/May/15 16:33/~lp15/Grants/holisa.html
34 0.11%23/May/15 12:51/~lp15/papers/UNITY/Mechanizing-compositional.pdf
33 25/May/15 10:40/~lp15/MLbook/programs/notes.html
33 0.02%25/May/15 09:46/~lp15/papers/paulson.bib
33 0.20%25/May/15 10:35/~lp15/papers/Arith/calculemus2008.pdf
33 25/May/15 14:44/~lp15/Grants/temporal.html
33 0.06%25/May/15 01:47/~lp15/papers/Automation/paar.pdf
32 25/May/15 09:49/~lp15/Pages/
32 0.01%25/May/15 09:47/~lp15/MLbook/programs/sample8-2004.sml
31 25/May/15 09:49/~lp15/papers/Reviews/
31 0.06%25/May/15 15:24/~lp15/papers/UNITY/ehmety-composition.pdf
31 0.01%25/May/15 09:47/~lp15/MLbook/programs/test10.sml
31 25/May/15 20:45/~lp15/Grants/auth.html
31 0.08%25/May/15 18:30/~lp15/papers/Formath/automata.pdf
31 25/May/15 09:49/~lp15/papers/Ballarin/
31 0.01%25/May/15 07:56/~lp15/Pages/ACS-proposals.html
30 0.01%25/May/15 09:48/~lp15/MLbook/exercises/exer4.html
30 0.08%24/May/15 10:53/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
30 0.01%25/May/15 16:40/~lp15/MLbook/programs/sample3-old.sml
29 0.01%25/May/15 09:47/~lp15/MLbook/programs/sample8-old.sml
29 0.03%25/May/15 02:00/~lp15/Sue/Cultures of Dance.ppt
29 25/May/15 10:53/~lp15/papers/OLD.SETS/
29 25/May/15 09:48/~lp15/MLbook/exercises/disclaimer.html
29 25/May/15 16:39/~lp15/papers/Workshop/programme.html
28 0.05%24/May/15 11:53/~lp15/papers/Workshop/papers/benini.pdf
28 0.09%24/May/15 10:08/~lp15/papers/Workshop/papers/nipkow.pdf
28 0.15%25/May/15 14:01/~lp15/papers/Automation/reconstruction.pdf
28 0.01%25/May/15 09:47/~lp15/MLbook/programs/sample10-old.sml
28 0.09%23/May/15 13:59/~lp15/papers/Arith/Huang-3heuristics.pdf
28 0.23%25/May/15 17:21/~lp15/papers/Bella/purchase-JAR.pdf
27 0.04%24/May/15 13:30/~lp15/papers/Auth/auth-slides.pdf
27 0.05%25/May/15 13:45/~lp15/papers/Bella/cav98.pdf
27 0.07%25/May/15 20:43/~lp15/papers/Arith/lpar2007.pdf
27 0.04%24/May/15 05:38/~lp15/papers/Notes/leeds-notes.pdf
27 0.10%22/May/15 18:01/~lp15/papers/Formath/reflection-slides.pdf
27 0.18%18/May/15 15:17/~lp15/papers/Reports/intro-to-isabelle.pdf
27 0.04%25/May/15 11:38/~lp15/papers/Reports/CADE11.pdf
27 0.22%24/May/15 13:56/~lp15/papers/Bella/TPHOLs03-slides.pdf
26 0.08%25/May/15 09:46/~lp15/papers/Arith/case-splitting-stats.csv
26 0.01%24/May/15 16:34/~lp15/MLbook/first/ML-syntax.ps.gz
26 0.01%25/May/15 09:48/~lp15/MLbook/exercises/exer7.html
26 0.05%25/May/15 12:53/~lp15/papers/Arith/fmcad2009.pdf
26 0.08%23/May/15 17:59/~lp15/papers/Bella/certified-email.pdf
26 25/May/15 09:49/~lp15/papers/Workshop/participants.html
25 0.10%24/May/15 05:14/~lp15/papers/Automation/translations-jar.pdf
25 25/May/15 09:49/~lp15/papers/Workshop/staples.html
25 0.13%25/May/15 02:25/~lp15/papers/Auth/SET-overview-slides.pdf
25 25/May/15 09:47/~lp15/MLbook/programs/sample9-2004.sml
25 25/May/15 09:49/~lp15/papers/Workshop/agerholm.html
25 25/May/15 09:46/~lp15/Grants/Chaieb.html
24 25/May/15 09:49/~lp15/papers/Workshop/kalvala.html
24 25/May/15 15:45/~lp15/papers/Workshop/heule.html
24 0.06%25/May/15 03:01/~lp15/papers/Auth/multicast_verification.pdf
24 0.06%20/May/15 21:00/~lp15/papers/Automation/translations.pdf
24 25/May/15 09:49/~lp15/images/
24 0.21%25/May/15 14:43/~lp15/papers/Auth/dagstuhl2003-slides.pdf
23 0.05%25/May/15 13:17/~lp15/papers/Automation/leo2-ijcar.pdf
23 0.19%25/May/15 04:00/~lp15/Grants/BeyondLinArith/arith-case.pdf
23 0.05%22/May/15 22:36/~lp15/papers/Automation/jar-smt.pdf
23 0.05%22/May/15 14:25/~lp15/papers/Workshop/papers/owens.pdf
23 0.05%24/May/15 14:11/~lp15/Grants/AutoPolyFun/case.pdf
23 25/May/15 09:49/~lp15/papers/Workshop/futures.html
22 25/May/15 09:49/~lp15/Grants/arith.html
22 0.04%25/May/15 12:51/~lp15/papers/Formath/final.pdf
22 0.05%23/May/15 10:30/~lp15/papers/Bella/nonrepudiation.pdf
22 0.09%24/May/15 13:16/~lp15/papers/Workshop/papers/paulson.pdf
22 25/May/15 09:49/~lp15/papers/Workshop/thompson.html
22 0.34%20/May/15 14:10/~lp15/papers/Arith/metit-slides.pdf
22 0.06%23/May/15 16:47/~lp15/papers/Formath/Goedel-logic-mine.pdf
22 0.07%23/May/15 11:27/~lp15/papers/Formath/reflection.pdf
21 0.04%23/May/15 17:47/~lp15/papers/UNITY/tphols01.pdf
21 25/May/15 09:49/~lp15/papers/Workshop/paulson.html
21 0.01%25/May/15 09:49/~lp15/Usage/images/
21 0.18%25/May/15 12:21/~lp15/papers/Automation/info-and-comp.pdf
20 0.11%20/May/15 22:49/~lp15/papers/Automation/filtering-jal.pdf
20 25/May/15 19:12/~lp15/MLbook/first/programs/Lambda.ML
20 25/May/15 09:49/~lp15/papers/Workshop/wolff.html
20 0.07%24/May/15 11:58/~lp15/papers/Formath/set-II.pdf
19 0.02%25/May/15 13:03/~lp15/papers/Arith/Overcoming.pdf
19 0.03%24/May/15 01:41/~lp15/papers/Arith/ITP-2012-invited.pdf
18 0.03%22/May/15 00:52/~lp15/papers/Workshop/papers/staples.pdf
18 25/May/15 14:43/~lp15/MLbook/first/programs/Modules.ML
18 25/May/15 18:27/~lp15/MLbook/first/programs/Functions.ML
18 0.04%24/May/15 13:17/~lp15/papers/Automation/cade2011-sledge-smt.pdf
17 0.04%25/May/15 05:21/~lp15/papers/Arith/case-splitting.pdf
17 0.06%17/May/15 11:31/~lp15/papers/Workshop/papers/vigano.pdf
17 0.05%24/May/15 19:45/~lp15/papers/Isabelle/coding.pdf
17 0.08%24/May/15 07:11/~lp15/papers/Workshop/papers/rasmussen.pdf
17 25/May/15 16:45/~lp15/MLbook/first/ERRATA1.txt
17 0.04%20/May/15 20:56/~lp15/papers/Automation/thf-sledge.pdf
17 0.07%24/May/15 19:25/~lp15/papers/Workshop/papers/kammueller.pdf
16 0.13%24/May/15 06:41/~lp15/papers/Deduction/lecture1.pdf
16 0.02%23/May/15 03:42/~lp15/papers/Workshop/vigano.pdf
16 0.01%25/May/15 03:54/~lp15/papers/Arith/NFM2014-invited.pdf
16 0.02%20/May/15 16:17/~lp15/papers/Auth/security-protocols.pdf
16 0.08%24/May/15 15:25/~lp15/papers/Formath/constructible-slides.pdf
16 25/May/15 10:35/~lp15/MLbook/first/programs/Imperative.ML
15 0.02%25/May/15 12:43/~lp15/papers/Workshop/front.pdf
15 0.11%20/May/15 20:35/~lp15/papers/Reports/Bridge-ml.pdf
15 0.03%25/May/15 05:31/~lp15/papers/Bella/dimacs97.pdf
15 0.03%24/May/15 06:20/~lp15/papers/Workshop/papers/thompson.pdf
15 0.03%22/May/15 23:21/~lp15/papers/Automation/IJCAR2004.pdf
15 0.03%18/May/15 07:19/~lp15/papers/Workshop/papers/kalvala-linear.pdf
15 0.50%20/May/15 20:07/~lp15/papers/Arith/ITP 2012 presentation.pdf
15 0.03%24/May/15 02:03/~lp15/Pages/harrison-real.pdf
15 0.02%24/May/15 20:25/~lp15/papers/Arith/pdpar2006.pdf
15 0.01%25/May/15 03:28/~lp15/Grants/UNITY/case.pdf
15 0.05%25/May/15 06:54/~lp15/papers/Arith/SNC2014-invited.pdf
15 0.03%25/May/15 14:39/~lp15/papers/Auth/ijcar2001.pdf
15 0.13%25/May/15 15:13/~lp15/papers/Arith/Sogokon-nfm14.pdf
14 0.15%25/May/15 14:36/~lp15/papers/Formath/constructible-theory.pdf
14 0.07%21/May/15 20:01/~lp15/papers/Auth/SET-document.pdf
14 0.73%23/May/15 14:13/~lp15/papers/Notes/LCF+.pdf
14 0.01%22/May/15 20:30/~lp15/papers/Ballarin/aisc98.pdf
13 21/May/15 12:47/~lp15/papers/Formath/ind-defs-slides.pdf
13 0.01%24/May/15 12:28/~lp15/papers/Formath/AC-slides.pdf
13 0.03%23/May/15 12:20/~lp15/papers/Notes/strategy.pdf
13 0.04%25/May/15 07:23/~lp15/papers/Formath/milner-ind-defs.pdf
13 0.89%25/May/15 15:39/~lp15/papers/Arith/FroCos-presentation.pdf
13 0.25%25/May/15 11:41/~lp15/papers/Auth/ijcar2001-slides.pdf
13 19/May/15 04:27/~lp15/MLbook/first/ERRATA2.txt
13 0.01%22/May/15 20:30/~lp15/papers/Ballarin/coding.pdf
12 0.07%21/May/15 02:40/~lp15/papers/Auth/tls-slides.pdf
12 0.11%23/May/15 00:57/~lp15/papers/Notes/formalizing-abst-slides.pdf
12 0.02%25/May/15 12:32/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
12 0.05%25/May/15 15:47/~lp15/papers/UNITY/UNITY.pdf
12 22/May/15 02:00/~lp15/papers/Arith/RELEASE-NOTES.txt
12 0.01%25/May/15 00:49/~lp15/papers/Workshop/friedrich.pdf
12 0.05%18/May/15 22:05/~lp15/papers/Arith/cicm2012.pdf
11 0.01%25/May/15 09:00/~lp15/papers/Notes/strategy-slides.pdf
11 0.20%18/May/15 09:16/~lp15/papers/Auth/dagstuhl2001-slides.pdf
11 0.13%25/May/15 14:56/~lp15/Grants/Automation/poster.pdf
11 0.02%25/May/15 20:46/~lp15/Grants/Automation/final.pdf
11 0.13%25/May/15 01:26/~lp15/papers/Reports/TypeClasses-slides.pdf
11 0.04%24/May/15 12:08/~lp15/papers/Notes/MOD-slides.pdf
11 0.16%17/May/15 18:46/~lp15/papers/Automation/reconstruction-slides.pdf
11 0.01%24/May/15 13:55/~lp15/papers/Workshop/kammueller.pdf
11 24/May/15 08:21/~lp15/Sue/Cultures of Dance.html
11 0.36%24/May/15 17:16/~lp15/Sue/Thesis-Appendices.pdf
10 25/May/15 08:37/~lp15/MLbook/first/programs/ParsePrint.ML
10 0.02%24/May/15 06:18/~lp15/papers/Isabelle/Goedel-logic.pdf
10 0.04%21/May/15 01:26/~lp15/papers/UNITY/composition.pdf
10 0.37%24/May/15 23:01/~lp15/Grants/LEO-II/leo project poster.pdf
10 0.03%20/May/15 19:39/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
10 0.03%20/May/15 20:41/~lp15/papers/Isabelle/sylow.pdf
10 22/May/15 17:10/~lp15/MLbook/StandardML.plist
10 0.03%25/May/15 03:05/~lp15/papers/Workshop/papers/agerholm.pdf
9 0.01%25/May/15 00:55/~lp15/papers/Arith/FroCoS-2013-invited.pdf
9 25/May/15 05:29/~lp15/Grants/BeyondLinArith/auth-final.pdf
9 24/May/15 18:28/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
9 0.44%22/May/15 14:01/~lp15/papers/Arith/Overcoming-slides.pdf
9 25/May/15 12:37/~lp15/Data/ho-translations/Theories.tbz
9 3.09%25/May/15 06:33/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
9 0.04%24/May/15 10:14/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 24/May/15 13:10/~lp15/papers/Reports/blast-slides.pdf
9 0.01%15/May/15 22:53/~lp15/papers/Auth/recur-slides.pdf
8 0.05%25/May/15 20:39/~lp15/images/pilkington-full.jpg
8 20/May/15 21:23/~lp15/Grants/UNITY/final.pdf
8 0.56%25/May/15 14:39/~lp15/Data/ho-translations/Comb.tbz
8 0.02%17/May/15 03:04/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
8 25/May/15 03:56/~lp15/Grants/SET/case.pdf
8 0.53%22/May/15 15:16/~lp15/Data/ho-translations/Abst.tbz
8 21/May/15 06:57/~lp15/Data/relevance/unfiltered-spass.txt
8 0.23%25/May/15 06:52/~lp15/papers/Arith/SNC2014-slides.pdf
8 24/May/15 20:22/~lp15/MLbook/ERRATA.txt
7 0.04%22/May/15 10:59/~lp15/papers/Automation/Huet colloquium.pdf
7 1.50%21/May/15 04:15/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
7 2.35%24/May/15 14:16/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
7 0.04%21/May/15 16:08/~lp15/papers/Reports/logics97.pdf
7 19/May/15 19:37/~lp15/papers/OLD.SETS/AC-slides.pdf
7 25/May/15 10:39/~lp15/Data/relevance/unfiltered-vampire.txt
7 0.03%25/May/15 13:43/~lp15/papers/Reports/lamport-paulson-types.pdf
7 0.19%17/May/15 09:48/~lp15/Grants/arith-poster.pdf
34916.11%25/May/15 19:49[not listed: 120 files]