This procedure is defined in the server but not documented via ad_proc or proc_doc and may be intended as a private interface.
The procedure is defined as:
proc tdav::write_lock {uri list} {
set f [open [tdav::get_lock_file $uri] w]
puts $f $list
close $f
}